runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249095-1500756771/watcher-4249095-1500756771 -o /tmp/evaluation-result-4249095-1500756771/solver-4249095-1500756771 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500754473-3381 --watchdog 2560 bin/concrete HOME/instance-4249095-1500756771.xml
pid=3703
running on 8 cores: 1,3,5,7,9,11,13,15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.41 1.40 1.42 2/267 3706
/proc/meminfo: memFree=30320980/32770624 swapFree=5892/366048
[pid=3706] ppid=3703 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/3706/stat : 3706 (bash) S 3703 3706 3349 0 -1 4202496 686 1534 0 0 0 0 0 0 20 0 1 0 10944032 9736192 350 33554432000 4194304 5098028 140728959663568 140728959661208 140146575322112 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 36732928 140728959669518 140728959669603 140728959669603 140728959672302 0
/proc/3706/statm: 2377 350 277 221 0 86 0
[startup+0.100173 s]
/proc/loadavg: 1.41 1.40 1.42 2/267 3706
/proc/meminfo: memFree=30320980/32770624 swapFree=5892/366048
[pid=3706] ppid=3703 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/3706/stat : 3706 (bash) S 3703 3706 3349 0 -1 4202496 880 6421 0 0 0 0 0 1 20 0 1 0 10944032 9871360 378 33554432000 4194304 5098028 140728959663568 140728959657576 140146575322112 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 36732928 140728959669518 140728959669603 140728959669603 140728959672302 0
/proc/3706/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200488 s]
/proc/loadavg: 1.41 1.40 1.42 2/267 3706
/proc/meminfo: memFree=30320980/32770624 swapFree=5892/366048
[pid=3706] ppid=3703 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3706/stat : 3706 (java) S 3703 3706 3349 0 -1 1077944320 4959 12704 0 0 6 1 8 4 20 0 13 0 10944032 10686320640 5324 33554432000 4194304 4196468 140734201026448 140734201008992 140565110533879 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
/proc/3706/statm: 2608965 5324 2173 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300333 s]
/proc/loadavg: 1.41 1.40 1.42 2/267 3706
/proc/meminfo: memFree=30320980/32770624 swapFree=5892/366048
[pid=3706] ppid=3703 vsize=10902292 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/3706/stat : 3706 (java) S 3703 3706 3349 0 -1 1077944320 6785 12704 0 0 20 2 8 4 20 0 20 0 10944032 11163947008 8569 33554432000 4194304 4196468 140734201026448 140734201008992 140565110533879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
/proc/3706/statm: 2725573 8569 2977 1 0 2713890 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10902292
[startup+0.700339 s]
/proc/loadavg: 1.41 1.40 1.42 2/267 3706
/proc/meminfo: memFree=30320980/32770624 swapFree=5892/366048
[pid=3706] ppid=3703 vsize=10902720 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/3706/stat : 3706 (java) S 3703 3706 3349 0 -1 1077944320 12158 12704 0 0 70 4 8 4 20 0 20 0 10944032 11164385280 14993 33554432000 4194304 4196468 140734201026448 140734201008992 140565110533879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
/proc/3706/statm: 2725680 14993 3149 1 0 2713890 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10902720
[startup+1.5011 s]
/proc/loadavg: 1.41 1.40 1.42 5/287 3779
/proc/meminfo: memFree=30224856/32770624 swapFree=5892/366424
[pid=3706] ppid=3703 vsize=10913344 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/3706/stat : 3706 (java) S 3703 3706 3349 0 -1 1077944320 25437 12704 0 0 196 11 8 4 20 0 20 0 10944032 11175264256 41027 33554432000 4194304 4196468 140734201026448 140734201008992 140565110533879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
/proc/3706/statm: 2728336 41027 3401 1 0 2716450 0
[pid=3706/tid=3761] ppid=3703 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3761/stat : 3761 (java) S 3703 3706 3349 0 -1 1077944384 19538 12704 0 0 125 5 8 4 20 0 20 0 10944045 11175264256 41027 33554432000 4194304 4196468 140734201026448 140565114752176 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3762] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3762/stat : 3762 (java) S 3703 3706 3349 0 -1 1077944384 47 12704 0 0 0 0 8 4 20 0 20 0 10944046 11175264256 41027 33554432000 4194304 4196468 140734201026448 140565036608400 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3763] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3763/stat : 3763 (java) S 3703 3706 3349 0 -1 1077944384 40 12704 0 0 0 0 8 4 20 0 20 0 10944046 11175264256 41027 33554432000 4194304 4196468 140734201026448 140565035555600 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3764] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3764/stat : 3764 (java) S 3703 3706 3349 0 -1 1077944384 8 12704 0 0 0 0 8 4 20 0 20 0 10944046 11175264256 41027 33554432000 4194304 4196468 140734201026448 140565034503312 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3765] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3765/stat : 3765 (java) S 3703 3706 3349 0 -1 1077944384 12 12704 0 0 0 0 8 4 20 0 20 0 10944046 11175264256 41027 33554432000 4194304 4196468 140734201026448 140565033450512 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3766] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3766/stat : 3766 (java) S 3703 3706 3349 0 -1 1077944384 15 12704 0 0 0 0 8 4 20 0 20 0 10944046 11175264256 41027 33554432000 4194304 4196468 140734201026448 140565032397200 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3767] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3767/stat : 3767 (java) S 3703 3706 3349 0 -1 1077944384 36 12704 0 0 0 0 8 4 20 0 20 0 10944046 11175264256 41027 33554432000 4194304 4196468 140734201026448 140565031344400 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3768] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3768/stat : 3768 (java) S 3703 3706 3349 0 -1 1077944384 145 12704 0 0 0 0 8 4 20 0 20 0 10944046 11175264256 41027 33554432000 4194304 4196468 140734201026448 140565030292112 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3769] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3769/stat : 3769 (java) S 3703 3706 3349 0 -1 1077944384 7 12704 0 0 0 0 8 4 20 0 20 0 10944046 11175264256 41027 33554432000 4194304 4196468 140734201026448 140565029239312 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3770] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3770/stat : 3770 (java) R 3703 3706 3349 0 -1 4202560 142 12704 0 0 0 0 8 4 20 0 20 0 10944048 11175264256 41027 33554432000 4194304 4196468 140734201026448 140563860583248 140565088891081 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3771] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3771/stat : 3771 (java) S 3703 3706 3349 0 -1 1077944384 33 12704 0 0 0 0 8 4 20 0 20 0 10944048 11175264256 41027 33554432000 4194304 4196468 140734201026448 140563859531040 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3772] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3772/stat : 3772 (java) S 3703 3706 3349 0 -1 1077944384 21 12704 0 0 0 0 8 4 20 0 20 0 10944049 11175264256 41027 33554432000 4194304 4196468 140734201026448 140563858478704 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3773] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3773/stat : 3773 (java) S 3703 3706 3349 0 -1 1077944384 1 12704 0 0 0 0 8 4 20 0 20 0 10944053 11175264256 41027 33554432000 4194304 4196468 140734201026448 140563857427024 140565110552475 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3774] ppid=3703 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3774/stat : 3774 (java) S 3703 3706 3349 0 -1 1077944384 1021 12704 0 0 13 0 8 4 20 0 20 0 10944053 11175264256 41027 33554432000 4194304 4196468 140734201026448 140563856373872 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3775] ppid=3703 vsize=10913344 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3775/stat : 3775 (java) S 3703 3706 3349 0 -1 1077944384 316 12704 0 0 7 0 8 4 20 0 20 0 10944053 11175264256 41027 33554432000 4194304 4196468 140734201026448 140563855321072 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3776] ppid=3703 vsize=10913344 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3776/stat : 3776 (java) S 3703 3706 3349 0 -1 1077944384 845 12704 0 0 18 0 8 4 20 0 20 0 10944053 11175264256 41027 33554432000 4194304 4196468 140734201026448 140563854268784 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3777] ppid=3703 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3777/stat : 3777 (java) S 3703 3706 3349 0 -1 1077944384 1078 12704 0 0 25 0 8 4 20 0 20 0 10944053 11175264256 41027 33554432000 4194304 4196468 140734201026448 140563853211360 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3778] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3778/stat : 3778 (java) S 3703 3706 3349 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 20 0 10944053 11175264256 41027 33554432000 4194304 4196468 140734201026448 140563852163936 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3779] ppid=3703 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3779/stat : 3779 (java) S 3703 3706 3349 0 -1 1077944384 4 12704 0 0 0 0 8 4 20 0 20 0 10944055 11175264256 41027 33554432000 4194304 4196468 140734201026448 140563851111216 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10913344
[startup+3.10119 s]
/proc/loadavg: 1.46 1.41 1.42 5/287 3779
/proc/meminfo: memFree=30145284/32770624 swapFree=5892/366424
[pid=3706] ppid=3703 vsize=10927868 CPUtime=6.37 cores=1,3,5,7,9,11,13,15
/proc/3706/stat : 3706 (java) S 3703 3706 3349 0 -1 1077944320 42384 12704 0 0 606 19 8 4 20 0 20 0 10944032 11190136832 54456 33554432000 4194304 4196468 140734201026448 140734201008992 140565110533879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
/proc/3706/statm: 2731967 54456 3475 1 0 2719522 0
[pid=3706/tid=3761] ppid=3703 vsize=10927868 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3761/stat : 3761 (java) R 3703 3706 3349 0 -1 4202560 28085 12704 0 0 280 8 8 4 20 0 20 0 10944045 11190136832 54456 33554432000 4194304 4196468 140734201026448 140565114748544 140565094843832 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3762] ppid=3703 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3762/stat : 3762 (java) S 3703 3706 3349 0 -1 1077944384 52 12704 0 0 1 0 8 4 20 0 20 0 10944046 11190136832 54456 33554432000 4194304 4196468 140734201026448 140565036608400 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3763] ppid=3703 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3763/stat : 3763 (java) S 3703 3706 3349 0 -1 1077944384 41 12704 0 0 1 0 8 4 20 0 20 0 10944046 11190136832 54456 33554432000 4194304 4196468 140734201026448 140565035555600 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3764] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3764/stat : 3764 (java) S 3703 3706 3349 0 -1 1077944384 9 12704 0 0 0 0 8 4 20 0 20 0 10944046 11190136832 54456 33554432000 4194304 4196468 140734201026448 140565034503312 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3765] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3765/stat : 3765 (java) S 3703 3706 3349 0 -1 1077944384 14 12704 0 0 0 0 8 4 20 0 20 0 10944046 11190136832 54456 33554432000 4194304 4196468 140734201026448 140565033450512 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3766] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3766/stat : 3766 (java) S 3703 3706 3349 0 -1 1077944384 16 12704 0 0 0 0 8 4 20 0 20 0 10944046 11190136832 54456 33554432000 4194304 4196468 140734201026448 140565032397200 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3767] ppid=3703 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3767/stat : 3767 (java) S 3703 3706 3349 0 -1 1077944384 36 12704 0 0 1 0 8 4 20 0 20 0 10944046 11190136832 54456 33554432000 4194304 4196468 140734201026448 140565031344400 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3768] ppid=3703 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3768/stat : 3768 (java) S 3703 3706 3349 0 -1 1077944384 146 12704 0 0 1 0 8 4 20 0 20 0 10944046 11190136832 54456 33554432000 4194304 4196468 140734201026448 140565030292112 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3769] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3769/stat : 3769 (java) S 3703 3706 3349 0 -1 1077944384 10 12704 0 0 0 0 8 4 20 0 20 0 10944046 11190136832 54456 33554432000 4194304 4196468 140734201026448 140565029239312 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3770] ppid=3703 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3770/stat : 3770 (java) S 3703 3706 3349 0 -1 1077944384 670 12704 0 0 2 0 8 4 20 0 20 0 10944048 11190136832 54456 33554432000 4194304 4196468 140734201026448 140563860585072 140565110545026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3771] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3771/stat : 3771 (java) S 3703 3706 3349 0 -1 1077944384 56 12704 0 0 0 0 8 4 20 0 20 0 10944048 11190136832 54456 33554432000 4194304 4196468 140734201026448 140563859531040 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3772] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3772/stat : 3772 (java) S 3703 3706 3349 0 -1 1077944384 45 12704 0 0 0 0 8 4 20 0 20 0 10944049 11190136832 54456 33554432000 4194304 4196468 140734201026448 140563858478704 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3773] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3773/stat : 3773 (java) S 3703 3706 3349 0 -1 1077944384 1 12704 0 0 0 0 8 4 20 0 20 0 10944053 11190136832 54456 33554432000 4194304 4196468 140734201026448 140563857427024 140565110552475 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3774] ppid=3703 vsize=10927868 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3774/stat : 3774 (java) S 3703 3706 3349 0 -1 1077944384 1953 12704 0 0 59 1 8 4 20 0 20 0 10944053 11190136832 54456 33554432000 4194304 4196468 140734201026448 140563856373872 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3775] ppid=3703 vsize=10927868 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3775/stat : 3775 (java) S 3703 3706 3349 0 -1 1077944384 1735 12704 0 0 53 1 8 4 20 0 20 0 10944053 11190136832 54456 33554432000 4194304 4196468 140734201026448 140563855321072 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3776] ppid=3703 vsize=10927868 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3776/stat : 3776 (java) S 3703 3706 3349 0 -1 1077944384 3860 12704 0 0 96 1 8 4 20 0 20 0 10944053 11190136832 54456 33554432000 4194304 4196468 140734201026448 140563854268784 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3777] ppid=3703 vsize=10927868 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3777/stat : 3777 (java) S 3703 3706 3349 0 -1 1077944384 3518 12704 0 0 105 1 8 4 20 0 20 0 10944053 11190136832 54456 33554432000 4194304 4196468 140734201026448 140563853215984 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3778] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3778/stat : 3778 (java) S 3703 3706 3349 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 20 0 10944053 11190136832 54456 33554432000 4194304 4196468 140734201026448 140563852163936 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3779] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3779/stat : 3779 (java) S 3703 3706 3349 0 -1 1077944384 5 12704 0 0 0 0 8 4 20 0 20 0 10944055 11190136832 54456 33554432000 4194304 4196468 140734201026448 140563851111216 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 10927868
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3706 sig 9
??? kill -3706 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20143 s]
/proc/loadavg: 1.46 1.41 1.42 5/287 3779
/proc/meminfo: memFree=30145284/32770624 swapFree=5892/366424
[pid=3706] ppid=3703 vsize=10927868 CPUtime=6.7 cores=1,3,5,7,9,11,13,15
/proc/3706/stat : 3706 (java) S 3703 3706 3349 0 -1 1077944320 42699 12704 0 0 639 19 8 4 20 0 20 0 10944032 11190136832 55797 33554432000 4194304 4196468 140734201026448 140734201008992 140565110533879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
/proc/3706/statm: 2731967 55797 3476 1 0 2719522 0
[pid=3706/tid=3761] ppid=3703 vsize=10927868 CPUtime=3.1 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3761/stat : 3761 (java) S 3703 3706 3349 0 -1 1077944384 28192 12704 0 0 290 8 8 4 20 0 20 0 10944045 11190136832 55797 33554432000 4194304 4196468 140734201026448 140565114766256 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3762] ppid=3703 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3762/stat : 3762 (java) S 3703 3706 3349 0 -1 1077944384 52 12704 0 0 1 0 8 4 20 0 20 0 10944046 11190136832 55797 33554432000 4194304 4196468 140734201026448 140565036608400 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3763] ppid=3703 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3763/stat : 3763 (java) S 3703 3706 3349 0 -1 1077944384 41 12704 0 0 1 0 8 4 20 0 20 0 10944046 11190136832 55797 33554432000 4194304 4196468 140734201026448 140565035555600 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3764] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3764/stat : 3764 (java) S 3703 3706 3349 0 -1 1077944384 9 12704 0 0 0 0 8 4 20 0 20 0 10944046 11190136832 55797 33554432000 4194304 4196468 140734201026448 140565034503312 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3765] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3765/stat : 3765 (java) S 3703 3706 3349 0 -1 1077944384 14 12704 0 0 0 0 8 4 20 0 20 0 10944046 11190136832 55797 33554432000 4194304 4196468 140734201026448 140565033450512 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3766] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3766/stat : 3766 (java) S 3703 3706 3349 0 -1 1077944384 16 12704 0 0 0 0 8 4 20 0 20 0 10944046 11190136832 55797 33554432000 4194304 4196468 140734201026448 140565032397200 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3767] ppid=3703 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3767/stat : 3767 (java) S 3703 3706 3349 0 -1 1077944384 36 12704 0 0 1 0 8 4 20 0 20 0 10944046 11190136832 55797 33554432000 4194304 4196468 140734201026448 140565031344400 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3768] ppid=3703 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3768/stat : 3768 (java) S 3703 3706 3349 0 -1 1077944384 146 12704 0 0 1 0 8 4 20 0 20 0 10944046 11190136832 55797 33554432000 4194304 4196468 140734201026448 140565030292112 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3769] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3769/stat : 3769 (java) S 3703 3706 3349 0 -1 1077944384 10 12704 0 0 0 0 8 4 20 0 20 0 10944046 11190136832 55797 33554432000 4194304 4196468 140734201026448 140565029239312 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3770] ppid=3703 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3770/stat : 3770 (java) S 3703 3706 3349 0 -1 1077944384 670 12704 0 0 2 0 8 4 20 0 20 0 10944048 11190136832 55797 33554432000 4194304 4196468 140734201026448 140563860585072 140565110545026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3771] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3771/stat : 3771 (java) S 3703 3706 3349 0 -1 1077944384 56 12704 0 0 0 0 8 4 20 0 20 0 10944048 11190136832 55797 33554432000 4194304 4196468 140734201026448 140563859531040 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3772] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3772/stat : 3772 (java) S 3703 3706 3349 0 -1 1077944384 45 12704 0 0 0 0 8 4 20 0 20 0 10944049 11190136832 55797 33554432000 4194304 4196468 140734201026448 140563858478704 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3773] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3773/stat : 3773 (java) S 3703 3706 3349 0 -1 1077944384 1 12704 0 0 0 0 8 4 20 0 20 0 10944053 11190136832 55797 33554432000 4194304 4196468 140734201026448 140563857427024 140565110552475 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3774] ppid=3703 vsize=10927868 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3774/stat : 3774 (java) S 3703 3706 3349 0 -1 1077944384 1973 12704 0 0 65 1 8 4 20 0 20 0 10944053 11190136832 55797 33554432000 4194304 4196468 140734201026448 140563856373872 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3775] ppid=3703 vsize=10927868 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3775/stat : 3775 (java) S 3703 3706 3349 0 -1 1077944384 1752 12704 0 0 59 2 8 4 20 0 20 0 10944053 11190136832 55797 33554432000 4194304 4196468 140734201026448 140563855321072 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3776] ppid=3703 vsize=10927868 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3776/stat : 3776 (java) S 3703 3706 3349 0 -1 1077944384 3894 12704 0 0 101 1 8 4 20 0 20 0 10944053 11190136832 55797 33554432000 4194304 4196468 140734201026448 140563854268784 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3777] ppid=3703 vsize=10927868 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3777/stat : 3777 (java) R 3703 3706 3349 0 -1 4202560 3655 12704 0 0 110 1 8 4 20 0 20 0 10944053 11190136832 55797 33554432000 4194304 4196468 140734201026448 140563853216280 140565088666448 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3778] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3778/stat : 3778 (java) S 3703 3706 3349 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 20 0 10944053 11190136832 55797 33554432000 4194304 4196468 140734201026448 140563852163936 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3779] ppid=3703 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3779/stat : 3779 (java) S 3703 3706 3349 0 -1 1077944384 5 12704 0 0 0 0 8 4 20 0 20 0 10944055 11190136832 55797 33554432000 4194304 4196468 140734201026448 140563851111216 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 10927868
[startup+4.00102 s]
/proc/loadavg: 1.46 1.41 1.42 5/287 3779
/proc/meminfo: memFree=30095072/32770624 swapFree=5892/366432
[pid=3706] ppid=3703 vsize=10995452 CPUtime=9.48 cores=1,3,5,7,9,11,13,15
/proc/3706/stat : 3706 (java) S 3703 3706 3349 0 -1 1077944320 62168 12704 0 0 911 25 8 4 20 0 20 0 10944032 11259342848 77121 33554432000 4194304 4196468 140734201026448 140734201008992 140565110533879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
/proc/3706/statm: 2748863 77121 3490 1 0 2736418 0
[pid=3706/tid=3761] ppid=3703 vsize=10995452 CPUtime=3.64 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3761/stat : 3761 (java) R 3703 3706 3349 0 -1 4202560 41445 12704 0 0 342 10 8 4 20 0 20 0 10944045 11259342848 77121 33554432000 4194304 4196468 140734201026448 140565114755328 140565110545814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3762] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3762/stat : 3762 (java) S 3703 3706 3349 0 -1 1077944384 74 12704 0 0 13 0 8 4 20 0 20 0 10944046 11259342848 77121 33554432000 4194304 4196468 140734201026448 140565036608400 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3763] ppid=3703 vsize=10995452 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3763/stat : 3763 (java) S 3703 3706 3349 0 -1 1077944384 76 12704 0 0 8 1 8 4 20 0 20 0 10944046 11259342848 77121 33554432000 4194304 4196468 140734201026448 140565035555600 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3764] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3764/stat : 3764 (java) S 3703 3706 3349 0 -1 1077944384 34 12704 0 0 13 0 8 4 20 0 20 0 10944046 11259342848 77121 33554432000 4194304 4196468 140734201026448 140565034503312 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3765] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3765/stat : 3765 (java) S 3703 3706 3349 0 -1 1077944384 43 12704 0 0 12 1 8 4 20 0 20 0 10944046 11259342848 77121 33554432000 4194304 4196468 140734201026448 140565033450512 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3766] ppid=3703 vsize=10995452 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3766/stat : 3766 (java) S 3703 3706 3349 0 -1 1077944384 38 12704 0 0 10 1 8 4 20 0 20 0 10944046 11259342848 77121 33554432000 4194304 4196468 140734201026448 140565032397200 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3767] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3767/stat : 3767 (java) S 3703 3706 3349 0 -1 1077944384 59 12704 0 0 13 0 8 4 20 0 20 0 10944046 11259342848 77121 33554432000 4194304 4196468 140734201026448 140565031344400 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3768] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3768/stat : 3768 (java) S 3703 3706 3349 0 -1 1077944384 153 12704 0 0 13 0 8 4 20 0 20 0 10944046 11259342848 77121 33554432000 4194304 4196468 140734201026448 140565030292112 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3769] ppid=3703 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3769/stat : 3769 (java) S 3703 3706 3349 0 -1 1077944384 39 12704 0 0 12 0 8 4 20 0 20 0 10944046 11259342848 77121 33554432000 4194304 4196468 140734201026448 140565029239312 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3770] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3770/stat : 3770 (java) S 3703 3706 3349 0 -1 1077944384 1627 12704 0 0 13 0 8 4 20 0 20 0 10944048 11259342848 77121 33554432000 4194304 4196468 140734201026448 140563860585072 140565110545026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3771] ppid=3703 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3771/stat : 3771 (java) S 3703 3706 3349 0 -1 1077944384 58 12704 0 0 0 0 8 4 20 0 20 0 10944048 11259342848 77121 33554432000 4194304 4196468 140734201026448 140563859531168 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3772] ppid=3703 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3772/stat : 3772 (java) S 3703 3706 3349 0 -1 1077944384 45 12704 0 0 0 0 8 4 20 0 20 0 10944049 11259342848 77121 33554432000 4194304 4196468 140734201026448 140563858478720 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3773] ppid=3703 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3773/stat : 3773 (java) S 3703 3706 3349 0 -1 1077944384 1 12704 0 0 0 0 8 4 20 0 20 0 10944053 11259342848 77121 33554432000 4194304 4196468 140734201026448 140563857427024 140565110552475 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3774] ppid=3703 vsize=10995452 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3774/stat : 3774 (java) S 3703 3706 3349 0 -1 1077944384 2012 12704 0 0 81 1 8 4 20 0 20 0 10944053 11259342848 77121 33554432000 4194304 4196468 140734201026448 140563856373872 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3775] ppid=3703 vsize=10995452 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3775/stat : 3775 (java) S 3703 3706 3349 0 -1 1077944384 2145 12704 0 0 81 2 8 4 20 0 20 0 10944053 11259342848 77121 33554432000 4194304 4196468 140734201026448 140563855321072 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3776] ppid=3703 vsize=10995452 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3776/stat : 3776 (java) R 3703 3706 3349 0 -1 4202560 8187 12704 0 0 167 1 8 4 20 0 20 0 10944053 11259342848 77121 33554432000 4194304 4196468 140734201026448 140563854255040 140565088128940 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3777] ppid=3703 vsize=10995452 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3777/stat : 3777 (java) R 3703 3706 3349 0 -1 4202560 3994 12704 0 0 125 2 8 4 20 0 20 0 10944053 11259342848 77121 33554432000 4194304 4196468 140734201026448 140563853215904 140565094773985 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3778] ppid=3703 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3778/stat : 3778 (java) S 3703 3706 3349 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 20 0 10944053 11259342848 77121 33554432000 4194304 4196468 140734201026448 140563852163936 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3779] ppid=3703 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3779/stat : 3779 (java) S 3703 3706 3349 0 -1 1077944384 5 12704 0 0 0 0 8 4 20 0 20 0 10944055 11259342848 77121 33554432000 4194304 4196468 140734201026448 140563851111216 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
Current children cumulated CPU time (s) 9.48
Current children cumulated vsize (KiB) 10995452
[startup+4.4011 s]
/proc/loadavg: 1.46 1.41 1.42 4/287 3779
/proc/meminfo: memFree=30003696/32770624 swapFree=5892/366440
[pid=3706] ppid=3703 vsize=10995452 CPUtime=11.26 cores=1,3,5,7,9,11,13,15
/proc/3706/stat : 3706 (java) S 3703 3706 3349 0 -1 1077944320 63197 12704 0 0 1088 26 8 4 20 0 20 0 10944032 11259342848 83015 33554432000 4194304 4196468 140734201026448 140734201008992 140565110533879 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
/proc/3706/statm: 2748863 83015 3495 1 0 2736418 0
[pid=3706/tid=3761] ppid=3703 vsize=10995452 CPUtime=4.06 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3761/stat : 3761 (java) R 3703 3706 3349 0 -1 4202560 41530 12704 0 0 383 11 8 4 20 0 20 0 10944045 11259342848 83564 33554432000 4194304 4196468 140734201026448 140565114766520 140564711295637 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3762] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3762/stat : 3762 (java) S 3703 3706 3349 0 -1 1077944384 74 12704 0 0 13 0 8 4 20 0 20 0 10944046 11259342848 83564 33554432000 4194304 4196468 140734201026448 140565036608400 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3763] ppid=3703 vsize=10995452 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3763/stat : 3763 (java) S 3703 3706 3349 0 -1 1077944384 76 12704 0 0 8 1 8 4 20 0 20 0 10944046 11259342848 83564 33554432000 4194304 4196468 140734201026448 140565035555600 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3764] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3764/stat : 3764 (java) S 3703 3706 3349 0 -1 1077944384 34 12704 0 0 13 0 8 4 20 0 20 0 10944046 11259342848 83564 33554432000 4194304 4196468 140734201026448 140565034503312 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3765] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3765/stat : 3765 (java) S 3703 3706 3349 0 -1 1077944384 43 12704 0 0 12 1 8 4 20 0 20 0 10944046 11259342848 83564 33554432000 4194304 4196468 140734201026448 140565033450512 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3766] ppid=3703 vsize=10995452 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3766/stat : 3766 (java) S 3703 3706 3349 0 -1 1077944384 38 12704 0 0 10 1 8 4 20 0 20 0 10944046 11259342848 83564 33554432000 4194304 4196468 140734201026448 140565032397200 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3767] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3767/stat : 3767 (java) S 3703 3706 3349 0 -1 1077944384 59 12704 0 0 13 0 8 4 20 0 20 0 10944046 11259342848 83564 33554432000 4194304 4196468 140734201026448 140565031344400 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3768] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3768/stat : 3768 (java) S 3703 3706 3349 0 -1 1077944384 153 12704 0 0 13 0 8 4 20 0 20 0 10944046 11259342848 83588 33554432000 4194304 4196468 140734201026448 140565030292112 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3769] ppid=3703 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3769/stat : 3769 (java) S 3703 3706 3349 0 -1 1077944384 39 12704 0 0 12 0 8 4 20 0 20 0 10944046 11259342848 83588 33554432000 4194304 4196468 140734201026448 140565029239312 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3770] ppid=3703 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3770/stat : 3770 (java) S 3703 3706 3349 0 -1 1077944384 1627 12704 0 0 13 0 8 4 20 0 20 0 10944048 11259342848 83588 33554432000 4194304 4196468 140734201026448 140563860585072 140565110545026 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3771] ppid=3703 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3771/stat : 3771 (java) S 3703 3706 3349 0 -1 1077944384 58 12704 0 0 0 0 8 4 20 0 20 0 10944048 11259342848 83588 33554432000 4194304 4196468 140734201026448 140563859531168 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3772] ppid=3703 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3772/stat : 3772 (java) S 3703 3706 3349 0 -1 1077944384 45 12704 0 0 0 0 8 4 20 0 20 0 10944049 11259342848 83588 33554432000 4194304 4196468 140734201026448 140563858478720 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3773] ppid=3703 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3773/stat : 3773 (java) S 3703 3706 3349 0 -1 1077944384 1 12704 0 0 0 0 8 4 20 0 20 0 10944053 11259342848 83588 33554432000 4194304 4196468 140734201026448 140563857427024 140565110552475 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3774] ppid=3703 vsize=10995452 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3774/stat : 3774 (java) S 3703 3706 3349 0 -1 1077944384 2450 12704 0 0 118 1 8 4 20 0 20 0 10944053 11259342848 83588 33554432000 4194304 4196468 140734201026448 140563856373872 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3775] ppid=3703 vsize=10995452 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3775/stat : 3775 (java) S 3703 3706 3349 0 -1 1077944384 2224 12704 0 0 118 2 8 4 20 0 20 0 10944053 11259342848 83588 33554432000 4194304 4196468 140734201026448 140563855321072 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3776] ppid=3703 vsize=10995452 CPUtime=2.2 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3776/stat : 3776 (java) S 3703 3706 3349 0 -1 1077944384 8323 12704 0 0 207 1 8 4 20 0 20 0 10944053 11259342848 83588 33554432000 4194304 4196468 140734201026448 140563854268784 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3777] ppid=3703 vsize=10995452 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3777/stat : 3777 (java) R 3703 3706 3349 0 -1 4202560 4323 12704 0 0 148 2 8 4 20 0 20 0 10944053 11259342848 83588 33554432000 4194304 4196468 140734201026448 140563853213240 140565103630715 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3778] ppid=3703 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3778/stat : 3778 (java) S 3703 3706 3349 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 20 0 10944053 11259342848 83588 33554432000 4194304 4196468 140734201026448 140563852163936 140565110544085 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
[pid=3706/tid=3779] ppid=3703 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/3706/task/3779/stat : 3779 (java) S 3703 3706 3349 0 -1 1077944384 6 12704 0 0 0 0 8 4 20 0 20 0 10944055 11259342848 83588 33554432000 4194304 4196468 140734201026448 140563851111216 140565110545026 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19927040 140734201031361 140734201034135 140734201034135 140734201036751 0
Current children cumulated CPU time (s) 11.26
Current children cumulated vsize (KiB) 10995452
Child status: 0
Real time (s): 4.44783
CPU time (s): 11.3189
CPU user time (s): 10.9969
CPU system time (s): 0.322002
CPU usage (%): 254.481
Max. virtual memory (cumulated for all children) (KiB): 10997552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9969
system time used= 0.322002
maximum resident set size= 337560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76050
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9605
involuntary context switches= 1919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048193 second user time and 0.060924 second system time
The end