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 (8674 MiB free)
memory of node 1: 16384 MiB (12111 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291501-1532283307/watcher-4291501-1532283307 -o /tmp/evaluation-result-4291501-1532283307/solver-4291501-1532283307 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532262189-32666 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1001030405 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291501-1532283307.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3198, runsolver pid=3195
Current StackSize limit: 8192 KiB
[startup+0.100142 s]*
/proc/loadavg: 1.16 1.38 1.40 3/218 3213
/proc/meminfo: memFree=21266468/32770624 swapFree=67108860/67108860
[pid=3198] ppid=3195 vsize=14082740 memory=33204 CPUtime=0.11 cores=1,3,5,7
/proc/3198/stat : 3198 (java) S 3195 3198 32634 0 -1 1077944320 7239 0 0 0 11 0 0 0 20 0 15 0 45893928 14420725760 8301 33554432000 4194304 4196468 140736698507376 140736698489920 139919133945591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
/proc/3198/statm: 3520685 8301 3142 1 0 3482761 0
[pid=3198/tid=3200] ppid=3195 vsize=14082740 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/3198/task/3200/stat : 3200 (java) R 3195 3198 32634 0 -1 4202560 5438 0 0 0 9 0 0 0 20 0 15 0 45893928 14420725760 8433 33554432000 4194304 4196468 140736698507376 139919138166800 139919118026078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3201] ppid=3195 vsize=14082740 memory=5792869726567804975 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3201/stat : 3201 (java) S 3195 3198 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 8433 33554432000 4194304 4196468 140736698507376 139919097051536 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3202] ppid=3195 vsize=14082740 memory=139983367063168 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3202/stat : 3202 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918728947984 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3203] ppid=3195 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3203/stat : 3203 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918727895696 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3204] ppid=3195 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3204/stat : 3204 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918726842896 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3205] ppid=3195 vsize=14082740 memory=139983367063168 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3205/stat : 3205 (java) S 3195 3198 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45893930 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918247950960 139919133956738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3206] ppid=3195 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3206/stat : 3206 (java) S 3195 3198 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45893930 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918246896928 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3207] ppid=3195 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3207/stat : 3207 (java) S 3195 3198 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45893931 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918245844592 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3208] ppid=3195 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3208/stat : 3208 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893933 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918244792912 139919133964187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3209] ppid=3195 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3209/stat : 3209 (java) S 3195 3198 32634 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 45893933 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918243739760 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3210] ppid=3195 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3210/stat : 3210 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893933 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918242686960 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3211] ppid=3195 vsize=14082740 memory=139983367063168 CPUtime=0.01 cores=1,3,5,7
/proc/3198/task/3211/stat : 3211 (java) R 3195 3198 32634 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 15 0 45893933 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918241634672 139919118193001 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3212] ppid=3195 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3212/stat : 3212 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893933 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918240582112 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3213] ppid=3195 vsize=14082740 memory=139983367063168 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3213/stat : 3213 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893934 14420725760 8433 33554432000 4194304 4196468 140736698507376 139918239529904 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33204 KiB
[startup+0.210691 s]*
/proc/loadavg: 1.16 1.38 1.40 4/218 3213
/proc/meminfo: memFree=21251196/32770624 swapFree=67108860/67108860
[pid=3198] ppid=3195 vsize=14082740 memory=47104 CPUtime=0.3 cores=1,3,5,7
/proc/3198/stat : 3198 (java) S 3195 3198 32634 0 -1 1077944320 10404 0 0 0 29 1 0 0 20 0 15 0 45893928 14420725760 11776 33554432000 4194304 4196468 140736698507376 140736698489920 139919133945591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
/proc/3198/statm: 3520685 11776 3370 1 0 3482761 0
[pid=3198/tid=3200] ppid=3195 vsize=14082740 memory=8389772277269004345 CPUtime=0.2 cores=1,3,5,7
/proc/3198/task/3200/stat : 3200 (java) R 3195 3198 32634 0 -1 4202560 8138 0 0 0 19 1 0 0 20 0 15 0 45893928 14420725760 11776 33554432000 4194304 4196468 140736698507376 139919138173744 139919119313361 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3201] ppid=3195 vsize=14082740 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3201/stat : 3201 (java) S 3195 3198 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 11776 33554432000 4194304 4196468 140736698507376 139919097051536 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3202] ppid=3195 vsize=14082740 memory=139983367233565 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3202/stat : 3202 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918728947984 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3203] ppid=3195 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3203/stat : 3203 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918727895696 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3204] ppid=3195 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3204/stat : 3204 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918726842896 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3205] ppid=3195 vsize=14082740 memory=139983367063168 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3205/stat : 3205 (java) S 3195 3198 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45893930 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918247950960 139919133956738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3206] ppid=3195 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3206/stat : 3206 (java) S 3195 3198 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45893930 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918246896928 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3207] ppid=3195 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3207/stat : 3207 (java) S 3195 3198 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45893931 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918245844592 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3208] ppid=3195 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3208/stat : 3208 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893933 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918244792912 139919133964187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3209] ppid=3195 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3198/task/3209/stat : 3209 (java) R 3195 3198 32634 0 -1 4202560 567 0 0 0 2 0 0 0 20 0 15 0 45893933 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918243739760 139919119961144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3210] ppid=3195 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3198/task/3210/stat : 3210 (java) R 3195 3198 32634 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 15 0 45893933 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918242686960 139919133956738 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3211] ppid=3195 vsize=14082740 memory=139983367063168 CPUtime=0.06 cores=1,3,5,7
/proc/3198/task/3211/stat : 3211 (java) S 3195 3198 32634 0 -1 1077944384 282 0 0 0 6 0 0 0 20 0 15 0 45893933 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918241634800 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3212] ppid=3195 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3212/stat : 3212 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893933 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918240582112 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3213] ppid=3195 vsize=14082740 memory=139983367063168 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3213/stat : 3213 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893934 14420725760 11776 33554432000 4194304 4196468 140736698507376 139918239529904 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47104 KiB
[startup+0.310782 s]*
/proc/loadavg: 1.16 1.38 1.40 3/218 3213
/proc/meminfo: memFree=21247412/32770624 swapFree=67108860/67108860
[pid=3198] ppid=3195 vsize=14082740 memory=50588 CPUtime=0.43 cores=1,3,5,7
/proc/3198/stat : 3198 (java) S 3195 3198 32634 0 -1 1077944320 10779 0 0 0 41 2 0 0 20 0 15 0 45893928 14420725760 12647 33554432000 4194304 4196468 140736698507376 140736698489920 139919133945591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
/proc/3198/statm: 3520685 12647 3373 1 0 3482761 0
[pid=3198/tid=3200] ppid=3195 vsize=14082740 memory=6299806260039079015 CPUtime=0.3 cores=1,3,5,7
/proc/3198/task/3200/stat : 3200 (java) R 3195 3198 32634 0 -1 4202560 8486 0 0 0 29 1 0 0 20 0 15 0 45893928 14420725760 12647 33554432000 4194304 4196468 140736698507376 139919138157168 139919114220783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3201] ppid=3195 vsize=14082740 memory=4294967295 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3201/stat : 3201 (java) S 3195 3198 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 12647 33554432000 4194304 4196468 140736698507376 139919097051536 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3202] ppid=3195 vsize=14082740 memory=139983367116576 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3202/stat : 3202 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918728947984 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3203] ppid=3195 vsize=14082740 memory=55780 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3203/stat : 3203 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918727895696 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3204] ppid=3195 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3204/stat : 3204 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918726842896 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3205] ppid=3195 vsize=14082740 memory=139983367123488 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3205/stat : 3205 (java) S 3195 3198 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45893930 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918247950960 139919133956738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3206] ppid=3195 vsize=14082740 memory=35 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3206/stat : 3206 (java) S 3195 3198 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45893930 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918246896928 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3207] ppid=3195 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3207/stat : 3207 (java) S 3195 3198 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45893931 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918245844592 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3208] ppid=3195 vsize=14082740 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3208/stat : 3208 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893933 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918244792912 139919133964187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3209] ppid=3195 vsize=14082740 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3198/task/3209/stat : 3209 (java) S 3195 3198 32634 0 -1 1077944384 568 0 0 0 3 0 0 0 20 0 15 0 45893933 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918243739760 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3210] ppid=3195 vsize=14082740 memory=139983251946511 CPUtime=0.01 cores=1,3,5,7
/proc/3198/task/3210/stat : 3210 (java) S 3195 3198 32634 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 45893933 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918242686960 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3211] ppid=3195 vsize=14082740 memory=139983367066189 CPUtime=0.08 cores=1,3,5,7
/proc/3198/task/3211/stat : 3211 (java) S 3195 3198 32634 0 -1 1077944384 289 0 0 0 8 0 0 0 20 0 15 0 45893933 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918241634672 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3212] ppid=3195 vsize=14082740 memory=139983251955631 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3212/stat : 3212 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893933 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918240582112 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3213] ppid=3195 vsize=14082740 memory=279966619035616 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3213/stat : 3213 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893934 14420725760 12647 33554432000 4194304 4196468 140736698507376 139918239529904 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50588 KiB
[startup+0.708572 s]
/proc/loadavg: 1.16 1.38 1.40 3/218 3213
/proc/meminfo: memFree=21225708/32770624 swapFree=67108860/67108860
[pid=3198] ppid=3195 vsize=14084808 memory=88852 CPUtime=1 cores=1,3,5,7
/proc/3198/stat : 3198 (java) S 3195 3198 32634 0 -1 1077944320 17581 0 0 0 96 4 0 0 20 0 15 0 45893928 14422843392 22213 33554432000 4194304 4196468 140736698507376 140736698489920 139919133945591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
/proc/3198/statm: 3521202 22213 3498 1 0 3483273 0
[pid=3198/tid=3200] ppid=3195 vsize=14084808 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/3198/task/3200/stat : 3200 (java) R 3195 3198 32634 0 -1 4202560 14934 0 0 0 65 3 0 0 20 0 15 0 45893928 14422843392 22213 33554432000 4194304 4196468 140736698507376 139919138170672 139919133967517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3201] ppid=3195 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3201/stat : 3201 (java) S 3195 3198 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45893929 14422843392 22213 33554432000 4194304 4196468 140736698507376 139919097051536 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3202] ppid=3195 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3202/stat : 3202 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918728947984 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3203] ppid=3195 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3203/stat : 3203 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918727895696 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3204] ppid=3195 vsize=14084808 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3204/stat : 3204 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918726842896 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3205] ppid=3195 vsize=14084808 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3205/stat : 3205 (java) S 3195 3198 32634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45893930 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918247950960 139919133956738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3206] ppid=3195 vsize=14084808 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3206/stat : 3206 (java) S 3195 3198 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45893930 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918246896928 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3207] ppid=3195 vsize=14084808 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3207/stat : 3207 (java) S 3195 3198 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45893931 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918245844592 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3208] ppid=3195 vsize=14084808 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3208/stat : 3208 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893933 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918244792912 139919133964187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3209] ppid=3195 vsize=14084808 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3198/task/3209/stat : 3209 (java) R 3195 3198 32634 0 -1 4202560 700 0 0 0 8 0 0 0 20 0 15 0 45893933 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918243740056 139919115468559 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3210] ppid=3195 vsize=14084808 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3198/task/3210/stat : 3210 (java) S 3195 3198 32634 0 -1 1077944384 214 0 0 0 7 0 0 0 20 0 15 0 45893933 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918242686960 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3211] ppid=3195 vsize=14084808 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/3198/task/3211/stat : 3211 (java) S 3195 3198 32634 0 -1 1077944384 351 0 0 0 15 0 0 0 20 0 15 0 45893933 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918241634672 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3212] ppid=3195 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3212/stat : 3212 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893933 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918240582112 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3213] ppid=3195 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3213/stat : 3213 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893934 14422843392 22213 33554432000 4194304 4196468 140736698507376 139918239529904 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88852 KiB
[startup+1.50161 s]
/proc/loadavg: 1.16 1.38 1.40 5/218 3213
/proc/meminfo: memFree=21194068/32770624 swapFree=67108860/67108860
[pid=3198] ppid=3195 vsize=14093000 memory=141508 CPUtime=2.66 cores=1,3,5,7
/proc/3198/stat : 3198 (java) S 3195 3198 32634 0 -1 1077944320 25274 0 0 0 258 8 0 0 20 0 15 0 45893928 14431232000 35377 33554432000 4194304 4196468 140736698507376 140736698489920 139919133945591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
/proc/3198/statm: 3523250 35377 3540 1 0 3485321 0
[pid=3198/tid=3200] ppid=3195 vsize=14093000 memory=2241 CPUtime=1.47 cores=1,3,5,7
/proc/3198/task/3200/stat : 3200 (java) R 3195 3198 32634 0 -1 4202560 19729 0 0 0 142 5 0 0 20 0 15 0 45893928 14431232000 35377 33554432000 4194304 4196468 140736698507376 139919138180416 139918776199731 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3201] ppid=3195 vsize=14093000 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3201/stat : 3201 (java) S 3195 3198 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45893929 14431232000 35377 33554432000 4194304 4196468 140736698507376 139919097051536 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3202] ppid=3195 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3202/stat : 3202 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918728947984 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3203] ppid=3195 vsize=14093000 memory=279966504100672 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3203/stat : 3203 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918727895696 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3204] ppid=3195 vsize=14093000 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3204/stat : 3204 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45893929 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918726842896 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3205] ppid=3195 vsize=14093000 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3205/stat : 3205 (java) S 3195 3198 32634 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 45893930 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918247950960 139919133956738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3206] ppid=3195 vsize=14093000 memory=-6948055166404804227 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3206/stat : 3206 (java) S 3195 3198 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45893930 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918246896928 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3207] ppid=3195 vsize=14093000 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3207/stat : 3207 (java) S 3195 3198 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45893931 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918245844592 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3208] ppid=3195 vsize=14093000 memory=15868 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3208/stat : 3208 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893933 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918244792912 139919133964187 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3209] ppid=3195 vsize=14093000 memory=4012 CPUtime=0.26 cores=1,3,5,7
/proc/3198/task/3209/stat : 3209 (java) R 3195 3198 32634 0 -1 4202560 1310 0 0 0 26 0 0 0 20 0 15 0 45893933 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918243721152 139919117477119 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3210] ppid=3195 vsize=14093000 memory=2241 CPUtime=0.3 cores=1,3,5,7
/proc/3198/task/3210/stat : 3210 (java) R 3195 3198 32634 0 -1 4202560 839 0 0 0 30 0 0 0 20 0 15 0 45893933 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918242676752 139919133966938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3211] ppid=3195 vsize=14093000 memory=2244 CPUtime=0.58 cores=1,3,5,7
/proc/3198/task/3211/stat : 3211 (java) R 3195 3198 32634 0 -1 4202560 1998 0 0 0 58 0 0 0 20 0 15 0 45893933 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918241634672 139919133957526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3212] ppid=3195 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3212/stat : 3212 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893933 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918240582112 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3213] ppid=3195 vsize=14093000 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3213/stat : 3213 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45893934 14431232000 35377 33554432000 4194304 4196468 140736698507376 139918239529904 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 141508 KiB
[startup+1.64909 s]
# the end of solver process 3198 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.90476 s, system=0.096198 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60161 s]
/proc/loadavg: 1.16 1.38 1.40 5/218 3213
/proc/meminfo: memFree=21194068/32770624 swapFree=67108860/67108860
[pid=3198] ppid=3195 vsize=14159564 memory=154708 CPUtime=2.95 cores=1,3,5,7
/proc/3198/stat : 3198 (java) S 3195 3198 32634 0 -1 1077944320 26608 0 0 0 287 8 0 0 20 0 13 0 45893928 14499393536 38677 33554432000 4194304 4196468 140736698507376 140736698489920 139919133945591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
/proc/3198/statm: 3539891 38677 3543 1 0 3501962 0
[pid=3198/tid=3200] ppid=3195 vsize=14159564 memory=6944656592455360604 CPUtime=1.56 cores=1,3,5,7
/proc/3198/task/3200/stat : 3200 (java) S 3195 3198 32634 0 -1 1077944384 19781 0 0 0 150 6 0 0 20 0 13 0 45893928 14499393536 38677 33554432000 4194304 4196468 140736698507376 139919138188432 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3201] ppid=3195 vsize=14159564 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3201/stat : 3201 (java) S 3195 3198 32634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 45893929 14499393536 38677 33554432000 4194304 4196468 140736698507376 139919097051536 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3202] ppid=3195 vsize=14159564 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3202/stat : 3202 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 45893929 14499393536 38677 33554432000 4194304 4196468 140736698507376 139918728947984 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3203] ppid=3195 vsize=14159564 memory=5524 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3203/stat : 3203 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 45893929 14499393536 38677 33554432000 4194304 4196468 140736698507376 139918727895696 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3204] ppid=3195 vsize=14159564 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3204/stat : 3204 (java) S 3195 3198 32634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 45893929 14499393536 38677 33554432000 4194304 4196468 140736698507376 139918726842896 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3205] ppid=3195 vsize=14159564 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3205/stat : 3205 (java) S 3195 3198 32634 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 13 0 45893930 14499393536 38677 33554432000 4194304 4196468 140736698507376 139918247951168 139919133956738 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3206] ppid=3195 vsize=14159564 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3206/stat : 3206 (java) S 3195 3198 32634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 45893930 14499393536 38677 33554432000 4194304 4196468 140736698507376 139918246896928 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3207] ppid=3195 vsize=14159564 memory=11968 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3207/stat : 3207 (java) S 3195 3198 32634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 45893931 14499393536 38677 33554432000 4194304 4196468 140736698507376 139918245844592 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3209] ppid=3195 vsize=14159564 memory=8372 CPUtime=0.36 cores=1,3,5,7
/proc/3198/task/3209/stat : 3209 (java) R 3195 3198 32634 0 -1 4202560 1991 0 0 0 36 0 0 0 20 0 13 0 45893933 14499393536 38677 33554432000 4194304 4196468 140736698507376 139918243725640 139919119053403 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3210] ppid=3195 vsize=14159564 memory=4616 CPUtime=0.4 cores=1,3,5,7
/proc/3198/task/3210/stat : 3210 (java) S 3195 3198 32634 0 -1 1077944384 1371 0 0 0 40 0 0 0 20 0 13 0 45893933 14499393536 38677 33554432000 4194304 4196468 140736698507376 139918242666000 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3211] ppid=3195 vsize=14159564 memory=15868 CPUtime=0.6 cores=1,3,5,7
/proc/3198/task/3211/stat : 3211 (java) S 3195 3198 32634 0 -1 1077944384 2019 0 0 0 60 0 0 0 20 0 13 0 45893933 14499393536 38677 33554432000 4194304 4196468 140736698507376 139918241634672 139919133956738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
[pid=3198/tid=3212] ppid=3195 vsize=14159564 memory=4012 CPUtime=0 cores=1,3,5,7
/proc/3198/task/3212/stat : 3212 (java) S 3195 3198 32634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 45893933 14499393536 38677 33554432000 4194304 4196468 140736698507376 139918240582112 139919133955797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35213312 140736698512468 140736698512649 140736698512649 140736698515407 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 14159564 KiB
Current children cumulated memory: 154708 KiB
Child status: 0
Real time (s): 1.64913
CPU time (s): 3.00096
CPU user time (s): 2.90476
CPU system time (s): 0.096198
CPU usage (%): 181.972
Max. virtual memory (cumulated for all children) (KiB): 14159564
Max. memory (cumulated for all children) (KiB): 154708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.90476
system time used= 0.096198
maximum resident set size= 156192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26873
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= 3283
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 3198
# total CPU time (s): 3.00096
# total CPU user time (s): 2.90476
# total CPU system time (s): 0.096198
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043791 second user time and 0.046995 second system time
The end