2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
R1: Concrete 3.4	? (TO)	2401.09	2362.35

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-4244710-1500694924/watcher-4244710-1500694924 -o /tmp/evaluation-result-4244710-1500694924/solver-4244710-1500694924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13637 --watchdog 2560 bin/concrete HOME/instance-4244710-1500694924.xml 

pid=16445
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.09 1.23 1.35 3/261 16448
/proc/meminfo: memFree=30787220/32770624 swapFree=5844/247336
[pid=16448] ppid=16445 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16448/stat : 16448 (bash) S 16445 16448 13605 0 -1 4202496 685 1535 0 0 0 0 0 0 20 0 1 0 4759223 9736192 350 33554432000 4194304 5098028 140732371782384 140732371780024 140310189186048 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 30314496 140732371789070 140732371789155 140732371789155 140732371791854 0
/proc/16448/statm: 2377 350 278 221 0 86 0

[startup+0.100174 s]
/proc/loadavg: 1.09 1.23 1.35 3/261 16448
/proc/meminfo: memFree=30787220/32770624 swapFree=5844/247336
[pid=16448] ppid=16445 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16448/stat : 16448 (bash) S 16445 16448 13605 0 -1 4202496 877 6423 0 0 0 0 0 1 20 0 1 0 4759223 9871360 377 33554432000 4194304 5098028 140732371782384 140732371776392 140310189186048 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 30314496 140732371789070 140732371789155 140732371789155 140732371791854 0
/proc/16448/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200377 s]
/proc/loadavg: 1.09 1.23 1.35 3/261 16448
/proc/meminfo: memFree=30787220/32770624 swapFree=5844/247336
[pid=16448] ppid=16445 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/16448/stat : 16448 (java) S 16445 16448 13605 0 -1 1077944320 4910 12704 0 0 6 1 8 4 20 0 13 0 4759223 10686320640 5280 33554432000 4194304 4196468 140734659827408 140734659809952 140689677442807 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
/proc/16448/statm: 2608965 5280 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860

[startup+0.300324 s]
/proc/loadavg: 1.09 1.23 1.35 3/261 16448
/proc/meminfo: memFree=30787220/32770624 swapFree=5844/247336
[pid=16448] ppid=16445 vsize=10905012 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/16448/stat : 16448 (java) S 16445 16448 13605 0 -1 1077944320 8440 12704 0 0 22 2 8 4 20 0 20 0 4759223 11166732288 10245 33554432000 4194304 4196468 140734659827408 140734659809952 140689677442807 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
/proc/16448/statm: 2726253 10245 2996 1 0 2714545 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10905012

[startup+0.70019 s]
/proc/loadavg: 1.09 1.23 1.35 3/261 16448
/proc/meminfo: memFree=30787220/32770624 swapFree=5844/247336
[pid=16448] ppid=16445 vsize=10902720 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/16448/stat : 16448 (java) S 16445 16448 13605 0 -1 1077944320 12796 12704 0 0 79 4 8 4 20 0 20 0 4759223 11164385280 16064 33554432000 4194304 4196468 140734659827408 140734659809952 140689677442807 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
/proc/16448/statm: 2725680 16064 3218 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720

[startup+1.50113 s]
/proc/loadavg: 1.09 1.23 1.35 3/281 16521
/proc/meminfo: memFree=30681576/32770624 swapFree=5844/247336
[pid=16448] ppid=16445 vsize=10913344 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/16448/stat : 16448 (java) S 16445 16448 13605 0 -1 1077944320 26821 12704 0 0 206 11 8 4 20 0 20 0 4759223 11175264256 44119 33554432000 4194304 4196468 140734659827408 140734659809952 140689677442807 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
/proc/16448/statm: 2728336 44119 3412 1 0 2716450 0
[pid=16448/tid=16503] ppid=16445 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16503/stat : 16503 (java) R 16445 16448 13605 0 -1 4202560 18988 12704 0 0 125 5 8 4 20 0 20 0 4759236 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689681673664 140689677454742 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16504] ppid=16445 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16504/stat : 16504 (java) S 16445 16448 13605 0 -1 1077944384 15 12704 0 0 0 0 8 4 20 0 20 0 4759237 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689283931280 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16505] ppid=16445 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16505/stat : 16505 (java) S 16445 16448 13605 0 -1 1077944384 36 12704 0 0 0 0 8 4 20 0 20 0 4759237 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689282878480 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16506] ppid=16445 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16506/stat : 16506 (java) S 16445 16448 13605 0 -1 1077944384 10 12704 0 0 0 0 8 4 20 0 20 0 4759237 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689281825680 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16507] ppid=16445 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16507/stat : 16507 (java) S 16445 16448 13605 0 -1 1077944384 14 12704 0 0 0 0 8 4 20 0 20 0 4759237 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689280772880 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16508] ppid=16445 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16508/stat : 16508 (java) S 16445 16448 13605 0 -1 1077944384 152 12704 0 0 1 0 8 4 20 0 20 0 4759237 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689279720080 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16509] ppid=16445 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16509/stat : 16509 (java) S 16445 16448 13605 0 -1 1077944384 8 12704 0 0 0 0 8 4 20 0 20 0 4759237 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689278667280 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16510] ppid=16445 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16510/stat : 16510 (java) S 16445 16448 13605 0 -1 1077944384 52 12704 0 0 1 0 8 4 20 0 20 0 4759237 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689277614480 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16511] ppid=16445 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16511/stat : 16511 (java) S 16445 16448 13605 0 -1 1077944384 26 12704 0 0 0 0 8 4 20 0 20 0 4759237 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689276561680 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16512] ppid=16445 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16512/stat : 16512 (java) S 16445 16448 13605 0 -1 1077944384 1542 12704 0 0 1 0 8 4 20 0 20 0 4759239 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689017719664 140689677453954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16513] ppid=16445 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16513/stat : 16513 (java) S 16445 16448 13605 0 -1 1077944384 55 12704 0 0 0 0 8 4 20 0 20 0 4759240 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689016665696 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16514] ppid=16445 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16514/stat : 16514 (java) S 16445 16448 13605 0 -1 1077944384 44 12704 0 0 0 0 8 4 20 0 20 0 4759240 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689015612784 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16515] ppid=16445 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16515/stat : 16515 (java) S 16445 16448 13605 0 -1 1077944384 1 12704 0 0 0 0 8 4 20 0 20 0 4759244 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689014561104 140689677461403 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16516] ppid=16445 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16516/stat : 16516 (java) S 16445 16448 13605 0 -1 1077944384 675 12704 0 0 15 0 8 4 20 0 20 0 4759244 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689013508464 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16517] ppid=16445 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16517/stat : 16517 (java) R 16445 16448 13605 0 -1 4202560 911 12704 0 0 15 0 8 4 20 0 20 0 4759244 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689012455664 140689677454742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16518] ppid=16445 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16518/stat : 16518 (java) S 16445 16448 13605 0 -1 1077944384 421 12704 0 0 13 0 8 4 20 0 20 0 4759244 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689011402864 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16519] ppid=16445 vsize=10913344 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16519/stat : 16519 (java) R 16445 16448 13605 0 -1 4202560 1738 12704 0 0 27 0 8 4 20 0 20 0 4759244 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689010350064 140689677464154 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16520] ppid=16445 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16520/stat : 16520 (java) S 16445 16448 13605 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 20 0 4759244 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689009298528 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16521] ppid=16445 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16521/stat : 16521 (java) S 16445 16448 13605 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 20 0 4759244 11175264256 44119 33554432000 4194304 4196468 140734659827408 140689008245808 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10913344

[startup+3.10125 s]
/proc/loadavg: 1.09 1.23 1.35 5/281 16521
/proc/meminfo: memFree=30607904/32770624 swapFree=5844/247368
[pid=16448] ppid=16445 vsize=10927868 CPUtime=6.71 cores=1,3,5,7,9,11,13,15
/proc/16448/stat : 16448 (java) S 16445 16448 13605 0 -1 1077944320 42637 12704 0 0 641 18 8 4 20 0 20 0 4759223 11190136832 59160 33554432000 4194304 4196468 140734659827408 140734659809952 140689677442807 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
/proc/16448/statm: 2731967 59160 3479 1 0 2719522 0
[pid=16448/tid=16503] ppid=16445 vsize=10927868 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16503/stat : 16503 (java) R 16445 16448 13605 0 -1 4202560 26349 12704 0 0 281 8 8 4 20 0 20 0 4759236 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689681670104 140689657718688 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16504] ppid=16445 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16504/stat : 16504 (java) S 16445 16448 13605 0 -1 1077944384 15 12704 0 0 0 0 8 4 20 0 20 0 4759237 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689283931280 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16505] ppid=16445 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16505/stat : 16505 (java) S 16445 16448 13605 0 -1 1077944384 36 12704 0 0 0 0 8 4 20 0 20 0 4759237 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689282878480 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16506] ppid=16445 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16506/stat : 16506 (java) S 16445 16448 13605 0 -1 1077944384 10 12704 0 0 0 0 8 4 20 0 20 0 4759237 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689281825680 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16507] ppid=16445 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16507/stat : 16507 (java) S 16445 16448 13605 0 -1 1077944384 14 12704 0 0 0 0 8 4 20 0 20 0 4759237 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689280772880 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16508] ppid=16445 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16508/stat : 16508 (java) S 16445 16448 13605 0 -1 1077944384 152 12704 0 0 1 0 8 4 20 0 20 0 4759237 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689279720080 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16509] ppid=16445 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16509/stat : 16509 (java) S 16445 16448 13605 0 -1 1077944384 8 12704 0 0 0 0 8 4 20 0 20 0 4759237 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689278667280 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16510] ppid=16445 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16510/stat : 16510 (java) S 16445 16448 13605 0 -1 1077944384 52 12704 0 0 1 0 8 4 20 0 20 0 4759237 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689277614480 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16511] ppid=16445 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16511/stat : 16511 (java) S 16445 16448 13605 0 -1 1077944384 26 12704 0 0 0 0 8 4 20 0 20 0 4759237 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689276561680 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16512] ppid=16445 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16512/stat : 16512 (java) S 16445 16448 13605 0 -1 1077944384 1561 12704 0 0 1 0 8 4 20 0 20 0 4759239 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689017719664 140689677453954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16513] ppid=16445 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16513/stat : 16513 (java) S 16445 16448 13605 0 -1 1077944384 55 12704 0 0 0 0 8 4 20 0 20 0 4759240 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689016665696 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16514] ppid=16445 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16514/stat : 16514 (java) S 16445 16448 13605 0 -1 1077944384 44 12704 0 0 0 0 8 4 20 0 20 0 4759240 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689015612784 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16515] ppid=16445 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16515/stat : 16515 (java) S 16445 16448 13605 0 -1 1077944384 1 12704 0 0 0 0 8 4 20 0 20 0 4759244 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689014561104 140689677461403 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16516] ppid=16445 vsize=10927868 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16516/stat : 16516 (java) S 16445 16448 13605 0 -1 1077944384 1652 12704 0 0 77 1 8 4 20 0 20 0 4759244 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689013508464 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16517] ppid=16445 vsize=10927868 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16517/stat : 16517 (java) S 16445 16448 13605 0 -1 1077944384 1963 12704 0 0 63 1 8 4 20 0 20 0 4759244 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689012455664 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16518] ppid=16445 vsize=10927868 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16518/stat : 16518 (java) S 16445 16448 13605 0 -1 1077944384 4407 12704 0 0 94 0 8 4 20 0 20 0 4759244 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689011402864 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16519] ppid=16445 vsize=10927868 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16519/stat : 16519 (java) S 16445 16448 13605 0 -1 1077944384 4157 12704 0 0 113 1 8 4 20 0 20 0 4759244 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689010350064 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16520] ppid=16445 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16520/stat : 16520 (java) S 16445 16448 13605 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 20 0 4759244 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689009298528 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16521] ppid=16445 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16521/stat : 16521 (java) S 16445 16448 13605 0 -1 1077944384 5 12704 0 0 0 0 8 4 20 0 20 0 4759244 11190136832 59160 33554432000 4194304 4196468 140734659827408 140689008245808 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 10927868

[startup+6.30078 s]
/proc/loadavg: 1.32 1.28 1.37 4/281 16521
/proc/meminfo: memFree=30458196/32770624 swapFree=5844/247380
[pid=16448] ppid=16445 vsize=10995452 CPUtime=12.12 cores=1,3,5,7,9,11,13,15
/proc/16448/stat : 16448 (java) S 16445 16448 13605 0 -1 1077944320 60490 12704 0 0 1175 25 8 4 20 0 20 0 4759223 11259342848 87078 33554432000 4194304 4196468 140734659827408 140734659809952 140689677442807 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
/proc/16448/statm: 2748863 87078 3498 1 0 2736418 0
[pid=16448/tid=16503] ppid=16445 vsize=10995452 CPUtime=5.79 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16503/stat : 16503 (java) R 16445 16448 13605 0 -1 4202560 39032 12704 0 0 557 10 8 4 20 0 20 0 4759236 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689681675816 140689326321424 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16504] ppid=16445 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16504/stat : 16504 (java) S 16445 16448 13605 0 -1 1077944384 60 12704 0 0 3 0 8 4 20 0 20 0 4759237 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689283931280 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16505] ppid=16445 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16505/stat : 16505 (java) S 16445 16448 13605 0 -1 1077944384 150 12704 0 0 3 0 8 4 20 0 20 0 4759237 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689282878480 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16506] ppid=16445 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16506/stat : 16506 (java) S 16445 16448 13605 0 -1 1077944384 42 12704 0 0 3 0 8 4 20 0 20 0 4759237 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689281825680 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16507] ppid=16445 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16507/stat : 16507 (java) S 16445 16448 13605 0 -1 1077944384 939 12704 0 0 3 1 8 4 20 0 20 0 4759237 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689280772880 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16508] ppid=16445 vsize=10995452 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16508/stat : 16508 (java) S 16445 16448 13605 0 -1 1077944384 198 12704 0 0 2 0 8 4 20 0 20 0 4759237 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689279720080 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16509] ppid=16445 vsize=10995452 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16509/stat : 16509 (java) S 16445 16448 13605 0 -1 1077944384 25 12704 0 0 2 0 8 4 20 0 20 0 4759237 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689278667280 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16510] ppid=16445 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16510/stat : 16510 (java) S 16445 16448 13605 0 -1 1077944384 67 12704 0 0 2 1 8 4 20 0 20 0 4759237 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689277614480 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16511] ppid=16445 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16511/stat : 16511 (java) S 16445 16448 13605 0 -1 1077944384 39 12704 0 0 3 1 8 4 20 0 20 0 4759237 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689276561680 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16512] ppid=16445 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16512/stat : 16512 (java) S 16445 16448 13605 0 -1 1077944384 2317 12704 0 0 5 0 8 4 20 0 20 0 4759239 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689017719664 140689677453954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16513] ppid=16445 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16513/stat : 16513 (java) S 16445 16448 13605 0 -1 1077944384 56 12704 0 0 0 0 8 4 20 0 20 0 4759240 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689016665696 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16514] ppid=16445 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16514/stat : 16514 (java) S 16445 16448 13605 0 -1 1077944384 44 12704 0 0 0 0 8 4 20 0 20 0 4759240 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689015612800 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16515] ppid=16445 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16515/stat : 16515 (java) S 16445 16448 13605 0 -1 1077944384 1 12704 0 0 0 0 8 4 20 0 20 0 4759244 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689014561104 140689677461403 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16516] ppid=16445 vsize=10995452 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16516/stat : 16516 (java) S 16445 16448 13605 0 -1 1077944384 2823 12704 0 0 134 2 8 4 20 0 20 0 4759244 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689013508464 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 54 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16517] ppid=16445 vsize=10995452 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16517/stat : 16517 (java) S 16445 16448 13605 0 -1 1077944384 3275 12704 0 0 151 2 8 4 20 0 20 0 4759244 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689012455664 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 46 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16518] ppid=16445 vsize=10995452 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16518/stat : 16518 (java) S 16445 16448 13605 0 -1 1077944384 4800 12704 0 0 164 0 8 4 20 0 20 0 4759244 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689011402864 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 46 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16519] ppid=16445 vsize=10995452 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16519/stat : 16519 (java) S 16445 16448 13605 0 -1 1077944384 4483 12704 0 0 133 1 8 4 20 0 20 0 4759244 11259342848 87078 33554432000 4194304 4196468 140734659827408 140689010350064 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 50 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16520] ppid=16445 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15

################
# More data... #
################

[pid=16448/tid=16517] ppid=16445 vsize=10995452 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16517/stat : 16517 (java) S 16445 16448 13605 0 -1 1077944384 4862 12704 0 0 155 2 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689012455664 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 46 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16518] ppid=16445 vsize=10995452 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16518/stat : 16518 (java) S 16445 16448 13605 0 -1 1077944384 5647 12704 0 0 168 1 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689011402864 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16519] ppid=16445 vsize=10995452 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16519/stat : 16519 (java) S 16445 16448 13605 0 -1 1077944384 8440 12704 0 0 137 1 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689010350064 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 50 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16520] ppid=16445 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16520/stat : 16520 (java) S 16445 16448 13605 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689009298528 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16521] ppid=16445 vsize=10995452 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16521/stat : 16521 (java) S 16445 16448 13605 0 -1 1077944384 1520 12704 0 0 36 37 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689008245808 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
Current children cumulated CPU time (s) 2359.52
Current children cumulated vsize (KiB) 10995452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2362.1 s]
/proc/loadavg: 1.52 1.45 1.46 3/281 16904
/proc/meminfo: memFree=31005124/32770624 swapFree=5844/249400
[pid=16448] ppid=16445 vsize=10995452 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/16448/stat : 16448 (java) S 16445 16448 13605 0 -1 1077944320 122676 12704 0 0 239747 242 8 4 20 0 20 0 4759223 11259342848 84984 33554432000 4194304 4196468 140734659827408 140734659809952 140689677442807 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
/proc/16448/statm: 2748863 84984 3504 1 0 2736418 0
[pid=16448/tid=16503] ppid=16445 vsize=10995452 CPUtime=2350.93 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16503/stat : 16503 (java) R 16445 16448 13605 0 -1 4202560 56600 12704 0 0 235061 20 8 4 20 0 20 0 4759236 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689681676960 140689325813524 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16504] ppid=16445 vsize=10995452 CPUtime=4.88 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16504/stat : 16504 (java) S 16445 16448 13605 0 -1 1077944384 2925 12704 0 0 457 19 8 4 20 0 20 0 4759237 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689283931280 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16505] ppid=16445 vsize=10995452 CPUtime=4.89 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16505/stat : 16505 (java) S 16445 16448 13605 0 -1 1077944384 3989 12704 0 0 456 21 8 4 20 0 20 0 4759237 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689282878480 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16506] ppid=16445 vsize=10995452 CPUtime=4.83 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16506/stat : 16506 (java) S 16445 16448 13605 0 -1 1077944384 1562 12704 0 0 446 25 8 4 20 0 20 0 4759237 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689281825680 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16507] ppid=16445 vsize=10995452 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16507/stat : 16507 (java) S 16445 16448 13605 0 -1 1077944384 5233 12704 0 0 459 25 8 4 20 0 20 0 4759237 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689280772880 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16508] ppid=16445 vsize=10995452 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16508/stat : 16508 (java) S 16445 16448 13605 0 -1 1077944384 3192 12704 0 0 460 20 8 4 20 0 20 0 4759237 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689279720080 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16509] ppid=16445 vsize=10995452 CPUtime=4.89 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16509/stat : 16509 (java) S 16445 16448 13605 0 -1 1077944384 3601 12704 0 0 454 23 8 4 20 0 20 0 4759237 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689278667280 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16510] ppid=16445 vsize=10995452 CPUtime=4.87 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16510/stat : 16510 (java) S 16445 16448 13605 0 -1 1077944384 2531 12704 0 0 452 23 8 4 20 0 20 0 4759237 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689277614480 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16511] ppid=16445 vsize=10995452 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16511/stat : 16511 (java) S 16445 16448 13605 0 -1 1077944384 3980 12704 0 0 460 20 8 4 20 0 20 0 4759237 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689276561680 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16512] ppid=16445 vsize=10995452 CPUtime=4.01 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16512/stat : 16512 (java) S 16445 16448 13605 0 -1 1077944384 9216 12704 0 0 367 22 8 4 20 0 20 0 4759239 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689017719664 140689677453954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16513] ppid=16445 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16513/stat : 16513 (java) S 16445 16448 13605 0 -1 1077944384 56 12704 0 0 0 0 8 4 20 0 20 0 4759240 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689016665696 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16514] ppid=16445 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16514/stat : 16514 (java) S 16445 16448 13605 0 -1 1077944384 44 12704 0 0 0 0 8 4 20 0 20 0 4759240 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689015612800 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16515] ppid=16445 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16515/stat : 16515 (java) S 16445 16448 13605 0 -1 1077944384 1 12704 0 0 0 0 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689014561104 140689677461403 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16516] ppid=16445 vsize=10995452 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16516/stat : 16516 (java) S 16445 16448 13605 0 -1 1077944384 7122 12704 0 0 142 2 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689013508464 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 54 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16517] ppid=16445 vsize=10995452 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16517/stat : 16517 (java) S 16445 16448 13605 0 -1 1077944384 4862 12704 0 0 155 2 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689012455664 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 46 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16518] ppid=16445 vsize=10995452 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16518/stat : 16518 (java) S 16445 16448 13605 0 -1 1077944384 5647 12704 0 0 168 1 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689011402864 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16519] ppid=16445 vsize=10995452 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16519/stat : 16519 (java) S 16445 16448 13605 0 -1 1077944384 8440 12704 0 0 137 1 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689010350064 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16520] ppid=16445 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16520/stat : 16520 (java) S 16445 16448 13605 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689009298528 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16521] ppid=16445 vsize=10995452 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16521/stat : 16521 (java) S 16445 16448 13605 0 -1 1077944384 1545 12704 0 0 37 37 8 4 20 0 20 0 4759244 11259342848 84984 33554432000 4194304 4196468 140734659827408 140689008245808 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 10995452

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16448 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2362.21 s]
/proc/loadavg: 1.52 1.45 1.46 3/281 16904
/proc/meminfo: memFree=31005124/32770624 swapFree=5844/249400
[pid=16448] ppid=16445 vsize=11128580 CPUtime=2400.58 cores=1,3,5,7,9,11,13,15
/proc/16448/stat : 16448 (java) S 16445 16448 13605 0 -1 1077944320 128511 12704 0 0 239804 242 8 4 20 0 22 0 4759223 11395665920 85090 33554432000 4194304 4196468 140734659827408 140734659809952 140689677442807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
/proc/16448/statm: 2782145 85090 3504 1 0 2769700 0
[pid=16448/tid=16503] ppid=16445 vsize=11128580 CPUtime=2350.94 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16503/stat : 16503 (java) S 16445 16448 13605 0 -1 1077944384 56973 12704 0 0 235062 20 8 4 20 0 22 0 4759236 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689681680352 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16504] ppid=16445 vsize=11128580 CPUtime=4.94 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16504/stat : 16504 (java) R 16445 16448 13605 0 -1 4202560 2930 12704 0 0 463 19 8 4 20 0 22 0 4759237 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689283931400 140689660825842 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16505] ppid=16445 vsize=11128580 CPUtime=4.96 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16505/stat : 16505 (java) R 16445 16448 13605 0 -1 4202560 3996 12704 0 0 463 21 8 4 20 0 22 0 4759237 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689282878600 140689663201624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16506] ppid=16445 vsize=11128580 CPUtime=4.9 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16506/stat : 16506 (java) R 16445 16448 13605 0 -1 4202560 1575 12704 0 0 453 25 8 4 20 0 22 0 4759237 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689281825800 140689670071015 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16507] ppid=16445 vsize=11128580 CPUtime=5.02 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16507/stat : 16507 (java) R 16445 16448 13605 0 -1 4202560 5255 12704 0 0 465 25 8 4 20 0 22 0 4759237 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689280773000 140689670071015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16508] ppid=16445 vsize=11128580 CPUtime=4.99 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16508/stat : 16508 (java) R 16445 16448 13605 0 -1 4202560 3208 12704 0 0 467 20 8 4 20 0 22 0 4759237 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689279720200 140689670071015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16509] ppid=16445 vsize=11128580 CPUtime=4.97 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16509/stat : 16509 (java) R 16445 16448 13605 0 -1 4202560 3607 12704 0 0 462 23 8 4 20 0 22 0 4759237 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689278667480 140689662143248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16510] ppid=16445 vsize=11128580 CPUtime=4.94 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16510/stat : 16510 (java) R 16445 16448 13605 0 -1 4202560 2535 12704 0 0 459 23 8 4 20 0 22 0 4759237 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689277614600 140689670071015 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16511] ppid=16445 vsize=11128580 CPUtime=5 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16511/stat : 16511 (java) R 16445 16448 13605 0 -1 4202560 3991 12704 0 0 468 20 8 4 20 0 22 0 4759237 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689276561800 140689670071015 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16512] ppid=16445 vsize=11128580 CPUtime=4.03 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16512/stat : 16512 (java) S 16445 16448 13605 0 -1 1077944384 14318 12704 0 0 369 22 8 4 20 0 22 0 4759239 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689017718288 140689677453013 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 35 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16513] ppid=16445 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16513/stat : 16513 (java) S 16445 16448 13605 0 -1 1077944384 56 12704 0 0 0 0 8 4 20 0 22 0 4759240 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689016665696 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16514] ppid=16445 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16514/stat : 16514 (java) S 16445 16448 13605 0 -1 1077944384 44 12704 0 0 0 0 8 4 20 0 22 0 4759240 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689015612800 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16515] ppid=16445 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16515/stat : 16515 (java) S 16445 16448 13605 0 -1 1077944384 129 12704 0 0 0 0 8 4 20 0 22 0 4759244 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689014561104 140689677461403 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16516] ppid=16445 vsize=11128580 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16516/stat : 16516 (java) S 16445 16448 13605 0 -1 1077944384 7122 12704 0 0 142 2 8 4 20 0 22 0 4759244 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689013508464 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16517] ppid=16445 vsize=11128580 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16517/stat : 16517 (java) S 16445 16448 13605 0 -1 1077944384 4862 12704 0 0 155 2 8 4 20 0 22 0 4759244 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689012455664 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 46 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16518] ppid=16445 vsize=11128580 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16518/stat : 16518 (java) S 16445 16448 13605 0 -1 1077944384 5647 12704 0 0 168 1 8 4 20 0 22 0 4759244 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689011402864 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16519] ppid=16445 vsize=11128580 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16519/stat : 16519 (java) S 16445 16448 13605 0 -1 1077944384 8466 12704 0 0 137 1 8 4 20 0 22 0 4759244 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689010349632 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 50 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16520] ppid=16445 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16520/stat : 16520 (java) S 16445 16448 13605 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 22 0 4759244 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689009298528 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16521] ppid=16445 vsize=11128580 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16521/stat : 16521 (java) S 16445 16448 13605 0 -1 1077944384 1545 12704 0 0 37 37 8 4 20 0 22 0 4759244 11395665920 85090 33554432000 4194304 4196468 140734659827408 140689008245808 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 52 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
Current children cumulated CPU time (s) 2400.58
Current children cumulated vsize (KiB) 11128580

[startup+2362.3 s]
/proc/loadavg: 1.52 1.45 1.46 3/281 16904
/proc/meminfo: memFree=31005124/32770624 swapFree=5844/249400
[pid=16448] ppid=16445 vsize=11128580 CPUtime=2400.95 cores=1,3,5,7,9,11,13,15
/proc/16448/stat : 16448 (java) S 16445 16448 13605 0 -1 1077944320 128840 12704 0 0 239841 242 8 4 20 0 22 0 4759223 11395665920 85214 33554432000 4194304 4196468 140734659827408 140734659809952 140689677442807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
/proc/16448/statm: 2782145 85214 3504 1 0 2769700 0
[pid=16448/tid=16503] ppid=16445 vsize=11128580 CPUtime=2350.94 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16503/stat : 16503 (java) S 16445 16448 13605 0 -1 1077944384 56973 12704 0 0 235062 20 8 4 20 0 22 0 4759236 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689681680352 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16504] ppid=16445 vsize=11128580 CPUtime=4.97 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16504/stat : 16504 (java) R 16445 16448 13605 0 -1 4202560 2938 12704 0 0 466 19 8 4 20 0 22 0 4759237 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689283931480 140689670071015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16505] ppid=16445 vsize=11128580 CPUtime=5 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16505/stat : 16505 (java) R 16445 16448 13605 0 -1 4202560 3996 12704 0 0 467 21 8 4 20 0 22 0 4759237 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689282878680 140689662439395 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16506] ppid=16445 vsize=11128580 CPUtime=4.94 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16506/stat : 16506 (java) R 16445 16448 13605 0 -1 4202560 1575 12704 0 0 457 25 8 4 20 0 22 0 4759237 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689281825680 140689659052586 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16507] ppid=16445 vsize=11128580 CPUtime=5.06 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16507/stat : 16507 (java) R 16445 16448 13605 0 -1 4202560 5255 12704 0 0 469 25 8 4 20 0 22 0 4759237 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689280773080 140689670071015 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16508] ppid=16445 vsize=11128580 CPUtime=5.02 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16508/stat : 16508 (java) R 16445 16448 13605 0 -1 4202560 3209 12704 0 0 470 20 8 4 20 0 22 0 4759237 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689279720280 140689662143826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16509] ppid=16445 vsize=11128580 CPUtime=5.01 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16509/stat : 16509 (java) R 16445 16448 13605 0 -1 4202560 3607 12704 0 0 466 23 8 4 20 0 22 0 4759237 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689278667480 140689670071015 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16510] ppid=16445 vsize=11128580 CPUtime=4.98 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16510/stat : 16510 (java) R 16445 16448 13605 0 -1 4202560 2535 12704 0 0 463 23 8 4 20 0 22 0 4759237 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689277614680 140689670071015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16511] ppid=16445 vsize=11128580 CPUtime=5.04 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16511/stat : 16511 (java) R 16445 16448 13605 0 -1 4202560 3991 12704 0 0 472 20 8 4 20 0 22 0 4759237 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689276561880 140689670071015 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16512] ppid=16445 vsize=11128580 CPUtime=4.08 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16512/stat : 16512 (java) S 16445 16448 13605 0 -1 1077944384 14635 12704 0 0 374 22 8 4 20 0 22 0 4759239 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689017718288 140689677453013 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 35 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16513] ppid=16445 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16513/stat : 16513 (java) S 16445 16448 13605 0 -1 1077944384 57 12704 0 0 0 0 8 4 20 0 22 0 4759240 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689016665200 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16514] ppid=16445 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16514/stat : 16514 (java) S 16445 16448 13605 0 -1 1077944384 44 12704 0 0 0 0 8 4 20 0 22 0 4759240 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689015612800 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16515] ppid=16445 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16515/stat : 16515 (java) S 16445 16448 13605 0 -1 1077944384 129 12704 0 0 0 0 8 4 20 0 22 0 4759244 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689014561104 140689677461403 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16516] ppid=16445 vsize=11128580 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16516/stat : 16516 (java) S 16445 16448 13605 0 -1 1077944384 7122 12704 0 0 142 2 8 4 20 0 22 0 4759244 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689013508464 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 54 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16517] ppid=16445 vsize=11128580 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16517/stat : 16517 (java) S 16445 16448 13605 0 -1 1077944384 4862 12704 0 0 155 2 8 4 20 0 22 0 4759244 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689012455664 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 46 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16518] ppid=16445 vsize=11128580 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16518/stat : 16518 (java) S 16445 16448 13605 0 -1 1077944384 5647 12704 0 0 168 1 8 4 20 0 22 0 4759244 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689011402864 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16519] ppid=16445 vsize=11128580 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16519/stat : 16519 (java) S 16445 16448 13605 0 -1 1077944384 8467 12704 0 0 137 1 8 4 20 0 22 0 4759244 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689010349632 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 50 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16520] ppid=16445 vsize=11128580 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16520/stat : 16520 (java) S 16445 16448 13605 0 -1 1077944384 3 12704 0 0 0 0 8 4 20 0 22 0 4759244 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689009298528 140689677453013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
[pid=16448/tid=16521] ppid=16445 vsize=11128580 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/16448/task/16521/stat : 16521 (java) S 16445 16448 13605 0 -1 1077944384 1545 12704 0 0 37 37 8 4 20 0 22 0 4759244 11395665920 85214 33554432000 4194304 4196468 140734659827408 140689008245808 140689677453954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 52 0 0 6293624 6294260 24502272 140734659828417 140734659831191 140734659831191 140734659833807 0
Current children cumulated CPU time (s) 2400.95
Current children cumulated vsize (KiB) 11128580

Child status: 143
Real time (s): 2362.35
CPU time (s): 2401.09
CPU user time (s): 2398.61
CPU system time (s): 2.47625
CPU usage (%): 101.64
Max. virtual memory (cumulated for all children) (KiB): 11128580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.61
system time used= 2.47625
maximum resident set size= 485952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141646
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191778
involuntary context switches= 150833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4217 second user time and 20.2996 second system time

The end

Begin job on node136 at 2017-07-22 05:42:04
IDJOB=4244710
IDBENCH=115862
IDSOLVER=2630
FILE ID=node136/4244710-1500694924
RUNJOBID= node136-1500683313-13637
PBS_JOBID= 20623338
Free space on /tmp= 61972 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-19.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244710-1500694924/watcher-4244710-1500694924 -o /tmp/evaluation-result-4244710-1500694924/solver-4244710-1500694924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13637 --watchdog 2560  bin/concrete HOME/instance-4244710-1500694924.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 83a04d869151a5b67f4c27500757dc69
RANDOM SEED=184589265

node136.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30787316 kB
MemAvailable:   30983120 kB
Buffers:          108940 kB
Cached:           368300 kB
SwapCached:            0 kB
Active:          1291952 kB
Inactive:         256100 kB
Active(anon):    1073420 kB
Inactive(anon):     8764 kB
Active(file):     218532 kB
Inactive(file):   247336 kB
Unevictable:        5844 kB
Mlocked:            5876 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24244 kB
Writeback:             0 kB
AnonPages:       1076348 kB
Mapped:            43956 kB
Shmem:              8852 kB
Slab:             124944 kB
SReclaimable:      91540 kB
SUnreclaim:        33404 kB
KernelStack:        4496 kB
PageTables:         7348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1862120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    884736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61948 MiB
End job on node136 at 2017-07-22 06:21:26

Name	ColouredQueens/ColouredQueens-m1-s1/ ColouredQueens-19.xml
MD5SUM	83a04d869151a5b67f4c27500757dc69
Bench Category	CSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	361
Number of constraints	108
Number of domains	1
Minimum domain size	19
Maximum domain size	19
Distribution of domain sizes	[{"size":19,"count":361}]
Minimum variable degree	3
Maximum variable degree	4
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":357}]
Minimum constraint arity	2
Maximum constraint arity	19
Distribution of constraint arities	[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":4},{"arity":14,"count":4},{"arity":15,"count":4},{"arity":16,"count":4},{"arity":17,"count":4},{"arity":18,"count":4},{"arity":19,"count":40}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"allDifferent","count":108}]
Optimization problem	NO
Type of objective

Trace number 4244710

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data