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	SAT	15.064	5.63936

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-4245994-1500707750/watcher-4245994-1500707750 -o /tmp/evaluation-result-4245994-1500707750/solver-4245994-1500707750 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500682887-8969 --watchdog 2560 bin/concrete HOME/instance-4245994-1500707750.xml 

pid=16799
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: 2.75 4.80 4.13 3/262 16802
/proc/meminfo: memFree=30644400/32770624 swapFree=5780/385140
[pid=16802] ppid=16799 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16802/stat : 16802 (bash) S 16799 16802 7912 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 6042719 9736192 350 33554432000 4194304 5098028 140725885260416 140725885258056 140149517884416 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 36556800 140725885265166 140725885265251 140725885265251 140725885267950 0
/proc/16802/statm: 2377 350 277 221 0 86 0

[startup+0.10009 s]
/proc/loadavg: 2.75 4.80 4.13 3/262 16802
/proc/meminfo: memFree=30644400/32770624 swapFree=5780/385140
[pid=16802] ppid=16799 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16802/stat : 16802 (bash) S 16799 16802 7912 0 -1 4202496 884 6415 0 0 0 0 0 1 20 0 1 0 6042719 9871360 378 33554432000 4194304 5098028 140725885260416 140725885254424 140149517884416 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 36556800 140725885265166 140725885265251 140725885265251 140725885267950 0
/proc/16802/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200387 s]
/proc/loadavg: 2.75 4.80 4.13 3/262 16802
/proc/meminfo: memFree=30644400/32770624 swapFree=5780/385140
[pid=16802] ppid=16799 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/16802/stat : 16802 (java) S 16799 16802 7912 0 -1 1077944320 4997 12558 0 0 6 1 8 3 20 0 13 0 6042719 10686320640 4856 33554432000 4194304 4196468 140729063389600 140729063372144 140182799634167 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
/proc/16802/statm: 2608965 4856 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300377 s]
/proc/loadavg: 2.75 4.80 4.13 3/262 16802
/proc/meminfo: memFree=30644400/32770624 swapFree=5780/385140
[pid=16802] ppid=16799 vsize=10902392 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/16802/stat : 16802 (java) S 16799 16802 7912 0 -1 1077944320 7024 12558 0 0 23 2 8 3 20 0 20 0 6042719 11164049408 8246 33554432000 4194304 4196468 140729063389600 140729063372144 140182799634167 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
/proc/16802/statm: 2725598 8246 2981 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.700236 s]
/proc/loadavg: 2.75 4.80 4.13 3/262 16802
/proc/meminfo: memFree=30644400/32770624 swapFree=5780/385140
[pid=16802] ppid=16799 vsize=10902720 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/16802/stat : 16802 (java) S 16799 16802 7912 0 -1 1077944320 12353 12558 0 0 73 4 8 3 20 0 20 0 6042719 11164385280 14688 33554432000 4194304 4196468 140729063389600 140729063372144 140182799634167 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
/proc/16802/statm: 2725680 14688 3168 1 0 2713890 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 10902720

[startup+1.5011 s]
/proc/loadavg: 2.75 4.80 4.13 4/282 16875
/proc/meminfo: memFree=30543300/32770624 swapFree=5780/385152
[pid=16802] ppid=16799 vsize=10913344 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/16802/stat : 16802 (java) S 16799 16802 7912 0 -1 1077944320 27262 12558 0 0 202 15 8 3 20 0 20 0 6042719 11175264256 43845 33554432000 4194304 4196468 140729063389600 140729063372144 140182799634167 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
/proc/16802/statm: 2728336 43845 3409 1 0 2716450 0
[pid=16802/tid=16857] ppid=16799 vsize=10913344 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16857/stat : 16857 (java) R 16799 16802 7912 0 -1 4202560 19323 12558 0 0 125 5 8 3 20 0 20 0 6042731 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182803856056 140182783677797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16858] ppid=16799 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16858/stat : 16858 (java) S 16799 16802 7912 0 -1 1077944384 123 12558 0 0 1 0 8 3 20 0 20 0 6042732 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182406228880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16859] ppid=16799 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16859/stat : 16859 (java) S 16799 16802 7912 0 -1 1077944384 15 12558 0 0 1 0 8 3 20 0 20 0 6042732 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182405176080 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16860] ppid=16799 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16860/stat : 16860 (java) S 16799 16802 7912 0 -1 1077944384 39 12558 0 0 1 0 8 3 20 0 20 0 6042732 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182404123792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16861] ppid=16799 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16861/stat : 16861 (java) S 16799 16802 7912 0 -1 1077944384 36 12558 0 0 1 0 8 3 20 0 20 0 6042732 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182403070992 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16862] ppid=16799 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16862/stat : 16862 (java) S 16799 16802 7912 0 -1 1077944384 24 12558 0 0 0 0 8 3 20 0 20 0 6042732 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182402017680 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16863] ppid=16799 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16863/stat : 16863 (java) S 16799 16802 7912 0 -1 1077944384 14 12558 0 0 1 0 8 3 20 0 20 0 6042732 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182400964880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16864] ppid=16799 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16864/stat : 16864 (java) S 16799 16802 7912 0 -1 1077944384 50 12558 0 0 1 0 8 3 20 0 20 0 6042732 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182399912592 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16865] ppid=16799 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16865/stat : 16865 (java) S 16799 16802 7912 0 -1 1077944384 17 12558 0 0 1 0 8 3 20 0 20 0 6042732 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182398859792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16866] ppid=16799 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16866/stat : 16866 (java) S 16799 16802 7912 0 -1 1077944384 1338 12558 0 0 1 0 8 3 20 0 20 0 6042734 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182005770864 140182799645314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16867] ppid=16799 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16867/stat : 16867 (java) S 16799 16802 7912 0 -1 1077944384 56 12558 0 0 0 0 8 3 20 0 20 0 6042735 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182004716832 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16868] ppid=16799 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16868/stat : 16868 (java) S 16799 16802 7912 0 -1 1077944384 43 12558 0 0 0 0 8 3 20 0 20 0 6042736 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182003664512 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16869] ppid=16799 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16869/stat : 16869 (java) S 16799 16802 7912 0 -1 1077944384 1 12558 0 0 0 0 8 3 20 0 20 0 6042740 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182002612816 140182799652763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16870] ppid=16799 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16870/stat : 16870 (java) S 16799 16802 7912 0 -1 1077944384 983 12558 0 0 14 0 8 3 20 0 20 0 6042740 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182001559664 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16871] ppid=16799 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16871/stat : 16871 (java) S 16799 16802 7912 0 -1 1077944384 1111 12558 0 0 12 1 8 3 20 0 20 0 6042740 11175264256 43845 33554432000 4194304 4196468 140729063389600 140182000506864 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16872] ppid=16799 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16872/stat : 16872 (java) S 16799 16802 7912 0 -1 1077944384 540 12558 0 0 10 0 8 3 20 0 20 0 6042740 11175264256 43845 33554432000 4194304 4196468 140729063389600 140181999454576 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16873] ppid=16799 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16873/stat : 16873 (java) S 16799 16802 7912 0 -1 1077944384 1412 12558 0 0 26 0 8 3 20 0 20 0 6042740 11175264256 43845 33554432000 4194304 4196468 140729063389600 140181998401776 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16874] ppid=16799 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16874/stat : 16874 (java) S 16799 16802 7912 0 -1 1077944384 3 12558 0 0 0 0 8 3 20 0 20 0 6042740 11175264256 43845 33554432000 4194304 4196468 140729063389600 140181997349728 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16875] ppid=16799 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16875/stat : 16875 (java) S 16799 16802 7912 0 -1 1077944384 3 12558 0 0 0 0 8 3 20 0 20 0 6042741 11175264256 43845 33554432000 4194304 4196468 140729063389600 140181996297008 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10913344

[startup+3.10082 s]
/proc/loadavg: 2.75 4.80 4.13 4/282 16875
/proc/meminfo: memFree=30469800/32770624 swapFree=5780/385152
[pid=16802] ppid=16799 vsize=10923772 CPUtime=6.76 cores=1,3,5,7,9,11,13,15
/proc/16802/stat : 16802 (java) S 16799 16802 7912 0 -1 1077944320 42446 12558 0 0 644 21 8 3 20 0 20 0 6042719 11185942528 55746 33554432000 4194304 4196468 140729063389600 140729063372144 140182799634167 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
/proc/16802/statm: 2730943 55746 3479 1 0 2718498 0
[pid=16802/tid=16857] ppid=16799 vsize=10923772 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16857/stat : 16857 (java) R 16799 16802 7912 0 -1 4202560 25369 12558 0 0 282 8 8 3 20 0 20 0 6042731 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182803863352 140182437833119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16858] ppid=16799 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16858/stat : 16858 (java) S 16799 16802 7912 0 -1 1077944384 123 12558 0 0 1 0 8 3 20 0 20 0 6042732 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182406228880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16859] ppid=16799 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16859/stat : 16859 (java) S 16799 16802 7912 0 -1 1077944384 15 12558 0 0 1 0 8 3 20 0 20 0 6042732 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182405176080 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16860] ppid=16799 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16860/stat : 16860 (java) S 16799 16802 7912 0 -1 1077944384 39 12558 0 0 1 0 8 3 20 0 20 0 6042732 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182404123792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16861] ppid=16799 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16861/stat : 16861 (java) S 16799 16802 7912 0 -1 1077944384 36 12558 0 0 1 0 8 3 20 0 20 0 6042732 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182403070992 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16862] ppid=16799 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16862/stat : 16862 (java) S 16799 16802 7912 0 -1 1077944384 24 12558 0 0 0 0 8 3 20 0 20 0 6042732 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182402017680 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16863] ppid=16799 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16863/stat : 16863 (java) S 16799 16802 7912 0 -1 1077944384 14 12558 0 0 1 0 8 3 20 0 20 0 6042732 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182400964880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16864] ppid=16799 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16864/stat : 16864 (java) S 16799 16802 7912 0 -1 1077944384 50 12558 0 0 1 0 8 3 20 0 20 0 6042732 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182399912592 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16865] ppid=16799 vsize=10923772 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16865/stat : 16865 (java) S 16799 16802 7912 0 -1 1077944384 17 12558 0 0 1 0 8 3 20 0 20 0 6042732 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182398859792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16866] ppid=16799 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16866/stat : 16866 (java) S 16799 16802 7912 0 -1 1077944384 1596 12558 0 0 2 0 8 3 20 0 20 0 6042734 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182005770864 140182799645314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16867] ppid=16799 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16867/stat : 16867 (java) S 16799 16802 7912 0 -1 1077944384 56 12558 0 0 0 0 8 3 20 0 20 0 6042735 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182004716832 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16868] ppid=16799 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16868/stat : 16868 (java) S 16799 16802 7912 0 -1 1077944384 43 12558 0 0 0 0 8 3 20 0 20 0 6042736 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182003664512 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16869] ppid=16799 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16869/stat : 16869 (java) S 16799 16802 7912 0 -1 1077944384 1 12558 0 0 0 0 8 3 20 0 20 0 6042740 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182002612816 140182799652763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16870] ppid=16799 vsize=10923772 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16870/stat : 16870 (java) S 16799 16802 7912 0 -1 1077944384 4418 12558 0 0 95 1 8 3 20 0 20 0 6042740 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182001559664 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16871] ppid=16799 vsize=10923772 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16871/stat : 16871 (java) S 16799 16802 7912 0 -1 1077944384 2226 12558 0 0 74 1 8 3 20 0 20 0 6042740 11185942528 55746 33554432000 4194304 4196468 140729063389600 140182000506864 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16872] ppid=16799 vsize=10923772 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16872/stat : 16872 (java) S 16799 16802 7912 0 -1 1077944384 1814 12558 0 0 72 1 8 3 20 0 20 0 6042740 11185942528 55746 33554432000 4194304 4196468 140729063389600 140181999454576 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16873] ppid=16799 vsize=10923772 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16873/stat : 16873 (java) S 16799 16802 7912 0 -1 1077944384 4462 12558 0 0 106 1 8 3 20 0 20 0 6042740 11185942528 55746 33554432000 4194304 4196468 140729063389600 140181998401776 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16874] ppid=16799 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16874/stat : 16874 (java) S 16799 16802 7912 0 -1 1077944384 3 12558 0 0 0 0 8 3 20 0 20 0 6042740 11185942528 55746 33554432000 4194304 4196468 140729063389600 140181997349728 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16875] ppid=16799 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16875/stat : 16875 (java) S 16799 16802 7912 0 -1 1077944384 7 12558 0 0 0 0 8 3 20 0 20 0 6042741 11185942528 55746 33554432000 4194304 4196468 140729063389600 140181996297008 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
Current children cumulated CPU time (s) 6.76
Current children cumulated vsize (KiB) 10923772

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

[startup+3.20093 s]
/proc/loadavg: 2.75 4.80 4.13 4/282 16875
/proc/meminfo: memFree=30469800/32770624 swapFree=5780/385152
[pid=16802] ppid=16799 vsize=10925820 CPUtime=7.19 cores=1,3,5,7,9,11,13,15
/proc/16802/stat : 16802 (java) S 16799 16802 7912 0 -1 1077944320 42877 12558 0 0 686 22 8 3 20 0 20 0 6042719 11188039680 58571 33554432000 4194304 4196468 140729063389600 140729063372144 140182799634167 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
/proc/16802/statm: 2731455 58571 3479 1 0 2719010 0
[pid=16802/tid=16857] ppid=16799 vsize=10925820 CPUtime=3.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16857/stat : 16857 (java) R 16799 16802 7912 0 -1 4202560 25551 12558 0 0 292 8 8 3 20 0 20 0 6042731 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182803860240 140182779910992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16858] ppid=16799 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16858/stat : 16858 (java) S 16799 16802 7912 0 -1 1077944384 123 12558 0 0 1 0 8 3 20 0 20 0 6042732 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182406228880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16859] ppid=16799 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16859/stat : 16859 (java) S 16799 16802 7912 0 -1 1077944384 15 12558 0 0 1 0 8 3 20 0 20 0 6042732 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182405176080 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16860] ppid=16799 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16860/stat : 16860 (java) S 16799 16802 7912 0 -1 1077944384 39 12558 0 0 1 0 8 3 20 0 20 0 6042732 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182404123792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16861] ppid=16799 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16861/stat : 16861 (java) S 16799 16802 7912 0 -1 1077944384 36 12558 0 0 1 0 8 3 20 0 20 0 6042732 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182403070992 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16862] ppid=16799 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16862/stat : 16862 (java) S 16799 16802 7912 0 -1 1077944384 24 12558 0 0 0 0 8 3 20 0 20 0 6042732 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182402017680 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16863] ppid=16799 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16863/stat : 16863 (java) S 16799 16802 7912 0 -1 1077944384 14 12558 0 0 1 0 8 3 20 0 20 0 6042732 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182400964880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16864] ppid=16799 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16864/stat : 16864 (java) S 16799 16802 7912 0 -1 1077944384 50 12558 0 0 1 0 8 3 20 0 20 0 6042732 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182399912592 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16865] ppid=16799 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16865/stat : 16865 (java) S 16799 16802 7912 0 -1 1077944384 17 12558 0 0 1 0 8 3 20 0 20 0 6042732 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182398859792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16866] ppid=16799 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16866/stat : 16866 (java) S 16799 16802 7912 0 -1 1077944384 1596 12558 0 0 2 0 8 3 20 0 20 0 6042734 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182005770864 140182799645314 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16867] ppid=16799 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16867/stat : 16867 (java) S 16799 16802 7912 0 -1 1077944384 56 12558 0 0 0 0 8 3 20 0 20 0 6042735 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182004716832 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16868] ppid=16799 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16868/stat : 16868 (java) S 16799 16802 7912 0 -1 1077944384 43 12558 0 0 0 0 8 3 20 0 20 0 6042736 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182003664512 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16869] ppid=16799 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16869/stat : 16869 (java) S 16799 16802 7912 0 -1 1077944384 1 12558 0 0 0 0 8 3 20 0 20 0 6042740 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182002612816 140182799652763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16870] ppid=16799 vsize=10925820 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16870/stat : 16870 (java) S 16799 16802 7912 0 -1 1077944384 4492 12558 0 0 104 1 8 3 20 0 20 0 6042740 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182001559664 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16871] ppid=16799 vsize=10925820 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16871/stat : 16871 (java) S 16799 16802 7912 0 -1 1077944384 2316 12558 0 0 84 1 8 3 20 0 20 0 6042740 11188039680 58571 33554432000 4194304 4196468 140729063389600 140182000506864 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16872] ppid=16799 vsize=10925820 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16872/stat : 16872 (java) R 16799 16802 7912 0 -1 4202560 1827 12558 0 0 82 1 8 3 20 0 20 0 6042740 11188039680 58571 33554432000 4194304 4196468 140729063389600 140181999441392 140182783189411 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16873] ppid=16799 vsize=10925820 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16873/stat : 16873 (java) R 16799 16802 7912 0 -1 4202560 4534 12558 0 0 109 1 8 3 20 0 20 0 6042740 11188039680 58571 33554432000 4194304 4196468 140729063389600 140181998397392 140182778439249 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16874] ppid=16799 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16874/stat : 16874 (java) S 16799 16802 7912 0 -1 1077944384 3 12558 0 0 0 0 8 3 20 0 20 0 6042740 11188039680 58571 33554432000 4194304 4196468 140729063389600 140181997349728 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16875] ppid=16799 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16875/stat : 16875 (java) S 16799 16802 7912 0 -1 1077944384 7 12558 0 0 0 0 8 3 20 0 20 0 6042741 11188039680 58571 33554432000 4194304 4196468 140729063389600 140181996297008 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
Current children cumulated CPU time (s) 7.19
Current children cumulated vsize (KiB) 10925820

[startup+4.80115 s]
/proc/loadavg: 2.75 4.80 4.13 3/282 16875
/proc/meminfo: memFree=30357088/32770624 swapFree=5780/385152
[pid=16802] ppid=16799 vsize=10995452 CPUtime=11.88 cores=1,3,5,7,9,11,13,15
/proc/16802/stat : 16802 (java) S 16799 16802 7912 0 -1 1077944320 63426 12558 0 0 1148 29 8 3 20 0 20 0 6042719 11259342848 90463 33554432000 4194304 4196468 140729063389600 140729063372144 140182799634167 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
/proc/16802/statm: 2748863 90463 3486 1 0 2736418 0
[pid=16802/tid=16857] ppid=16799 vsize=10995452 CPUtime=4.63 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16857/stat : 16857 (java) R 16799 16802 7912 0 -1 4202560 40368 12558 0 0 441 11 8 3 20 0 20 0 6042731 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182803869672 140182436823143 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16858] ppid=16799 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16858/stat : 16858 (java) S 16799 16802 7912 0 -1 1077944384 139 12558 0 0 4 0 8 3 20 0 20 0 6042732 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182406228880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16859] ppid=16799 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16859/stat : 16859 (java) S 16799 16802 7912 0 -1 1077944384 30 12558 0 0 5 1 8 3 20 0 20 0 6042732 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182405176080 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16860] ppid=16799 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16860/stat : 16860 (java) S 16799 16802 7912 0 -1 1077944384 56 12558 0 0 4 0 8 3 20 0 20 0 6042732 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182404123792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16861] ppid=16799 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16861/stat : 16861 (java) S 16799 16802 7912 0 -1 1077944384 58 12558 0 0 4 1 8 3 20 0 20 0 6042732 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182403070992 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16862] ppid=16799 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16862/stat : 16862 (java) S 16799 16802 7912 0 -1 1077944384 91 12558 0 0 4 1 8 3 20 0 20 0 6042732 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182402017680 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16863] ppid=16799 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16863/stat : 16863 (java) S 16799 16802 7912 0 -1 1077944384 26 12558 0 0 3 1 8 3 20 0 20 0 6042732 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182400964880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16864] ppid=16799 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16864/stat : 16864 (java) S 16799 16802 7912 0 -1 1077944384 70 12558 0 0 4 0 8 3 20 0 20 0 6042732 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182399912592 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16865] ppid=16799 vsize=10995452 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16865/stat : 16865 (java) S 16799 16802 7912 0 -1 1077944384 33 12558 0 0 3 1 8 3 20 0 20 0 6042732 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182398859792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16866] ppid=16799 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16866/stat : 16866 (java) S 16799 16802 7912 0 -1 1077944384 2291 12558 0 0 5 0 8 3 20 0 20 0 6042734 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182005770864 140182799645314 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16867] ppid=16799 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16867/stat : 16867 (java) S 16799 16802 7912 0 -1 1077944384 57 12558 0 0 0 0 8 3 20 0 20 0 6042735 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182004716896 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16868] ppid=16799 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16868/stat : 16868 (java) S 16799 16802 7912 0 -1 1077944384 43 12558 0 0 0 0 8 3 20 0 20 0 6042736 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182003664512 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16869] ppid=16799 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16869/stat : 16869 (java) S 16799 16802 7912 0 -1 1077944384 1 12558 0 0 0 0 8 3 20 0 20 0 6042740 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182002612816 140182799652763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16870] ppid=16799 vsize=10995452 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16870/stat : 16870 (java) R 16799 16802 7912 0 -1 4202560 4698 12558 0 0 164 1 8 3 20 0 20 0 6042740 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182001559960 140182778901345 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16871] ppid=16799 vsize=10995452 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16871/stat : 16871 (java) S 16799 16802 7912 0 -1 1077944384 2509 12558 0 0 144 2 8 3 20 0 20 0 6042740 11259342848 90463 33554432000 4194304 4196468 140729063389600 140182000506864 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16872] ppid=16799 vsize=10995452 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16872/stat : 16872 (java) R 16799 16802 7912 0 -1 4202560 4197 12558 0 0 176 1 8 3 20 0 20 0 6042740 11259342848 90463 33554432000 4194304 4196468 140729063389600 140181999440032 140182783540172 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16873] ppid=16799 vsize=10995452 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16873/stat : 16873 (java) R 16799 16802 7912 0 -1 4202560 6616 12558 0 0 180 2 8 3 20 0 20 0 6042740 11259342848 90463 33554432000 4194304 4196468 140729063389600 140181998402072 140182778126168 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16874] ppid=16799 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16874/stat : 16874 (java) S 16799 16802 7912 0 -1 1077944384 3 12558 0 0 0 0 8 3 20 0 20 0 6042740 11259342848 90463 33554432000 4194304 4196468 140729063389600 140181997349728 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16875] ppid=16799 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16875/stat : 16875 (java) S 16799 16802 7912 0 -1 1077944384 8 12558 0 0 0 0 8 3 20 0 20 0 6042741 11259342848 90463 33554432000 4194304 4196468 140729063389600 140181996297008 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 10995452

[startup+5.20095 s]
/proc/loadavg: 2.75 4.80 4.13 3/282 16875
/proc/meminfo: memFree=30357088/32770624 swapFree=5780/385152
[pid=16802] ppid=16799 vsize=10998164 CPUtime=13.14 cores=1,3,5,7,9,11,13,15
/proc/16802/stat : 16802 (java) S 16799 16802 7912 0 -1 1077944320 66269 12558 0 0 1273 30 8 3 20 0 20 0 6042719 11262119936 95142 33554432000 4194304 4196468 140729063389600 140729063372144 140182799634167 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
/proc/16802/statm: 2749541 95142 3487 1 0 2737096 0
[pid=16802/tid=16857] ppid=16799 vsize=10998164 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16857/stat : 16857 (java) R 16799 16802 7912 0 -1 4202560 40453 12558 0 0 480 12 8 3 20 0 20 0 6042731 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182803868144 140182454693558 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16858] ppid=16799 vsize=10998164 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16858/stat : 16858 (java) S 16799 16802 7912 0 -1 1077944384 139 12558 0 0 4 0 8 3 20 0 20 0 6042732 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182406228880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16859] ppid=16799 vsize=10998164 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16859/stat : 16859 (java) S 16799 16802 7912 0 -1 1077944384 30 12558 0 0 5 1 8 3 20 0 20 0 6042732 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182405176080 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16860] ppid=16799 vsize=10998164 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16860/stat : 16860 (java) S 16799 16802 7912 0 -1 1077944384 57 12558 0 0 4 0 8 3 20 0 20 0 6042732 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182404123792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16861] ppid=16799 vsize=10998164 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16861/stat : 16861 (java) S 16799 16802 7912 0 -1 1077944384 59 12558 0 0 4 1 8 3 20 0 20 0 6042732 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182403070992 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16862] ppid=16799 vsize=10998164 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16862/stat : 16862 (java) S 16799 16802 7912 0 -1 1077944384 91 12558 0 0 4 1 8 3 20 0 20 0 6042732 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182402017680 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16863] ppid=16799 vsize=10998164 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16863/stat : 16863 (java) S 16799 16802 7912 0 -1 1077944384 32 12558 0 0 3 1 8 3 20 0 20 0 6042732 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182400964880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16864] ppid=16799 vsize=10998164 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16864/stat : 16864 (java) S 16799 16802 7912 0 -1 1077944384 71 12558 0 0 4 0 8 3 20 0 20 0 6042732 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182399912592 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16865] ppid=16799 vsize=10998164 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16865/stat : 16865 (java) S 16799 16802 7912 0 -1 1077944384 33 12558 0 0 4 1 8 3 20 0 20 0 6042732 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182398859792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16866] ppid=16799 vsize=10998164 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16866/stat : 16866 (java) S 16799 16802 7912 0 -1 1077944384 2316 12558 0 0 5 0 8 3 20 0 20 0 6042734 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182005770864 140182799645314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16867] ppid=16799 vsize=10998164 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16867/stat : 16867 (java) S 16799 16802 7912 0 -1 1077944384 57 12558 0 0 0 0 8 3 20 0 20 0 6042735 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182004716960 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16868] ppid=16799 vsize=10998164 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16868/stat : 16868 (java) S 16799 16802 7912 0 -1 1077944384 43 12558 0 0 0 0 8 3 20 0 20 0 6042736 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182003664512 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16869] ppid=16799 vsize=10998164 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16869/stat : 16869 (java) S 16799 16802 7912 0 -1 1077944384 1 12558 0 0 0 0 8 3 20 0 20 0 6042740 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182002612816 140182799652763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16870] ppid=16799 vsize=10998164 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16870/stat : 16870 (java) S 16799 16802 7912 0 -1 1077944384 4752 12558 0 0 182 1 8 3 20 0 20 0 6042740 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182001559664 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16871] ppid=16799 vsize=10998164 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16871/stat : 16871 (java) S 16799 16802 7912 0 -1 1077944384 2658 12558 0 0 160 2 8 3 20 0 20 0 6042740 11262119936 95142 33554432000 4194304 4196468 140729063389600 140182000506864 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16872] ppid=16799 vsize=10998164 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16872/stat : 16872 (java) R 16799 16802 7912 0 -1 4202560 6582 12558 0 0 216 1 8 3 20 0 20 0 6042740 11262119936 95142 33554432000 4194304 4196468 140729063389600 140181999440600 140182781178701 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16873] ppid=16799 vsize=10998164 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16873/stat : 16873 (java) S 16799 16802 7912 0 -1 1077944384 6751 12558 0 0 191 2 8 3 20 0 20 0 6042740 11262119936 95142 33554432000 4194304 4196468 140729063389600 140181998401776 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16874] ppid=16799 vsize=10998164 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16874/stat : 16874 (java) S 16799 16802 7912 0 -1 1077944384 3 12558 0 0 0 0 8 3 20 0 20 0 6042740 11262119936 95142 33554432000 4194304 4196468 140729063389600 140181997349728 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16875] ppid=16799 vsize=10998164 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16875/stat : 16875 (java) S 16799 16802 7912 0 -1 1077944384 8 12558 0 0 0 0 8 3 20 0 20 0 6042741 11262119936 95142 33554432000 4194304 4196468 140729063389600 140181996297008 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
Current children cumulated CPU time (s) 13.14
Current children cumulated vsize (KiB) 10998164

[startup+5.61143 s]
/proc/loadavg: 2.85 4.79 4.13 10/282 16875
/proc/meminfo: memFree=30274660/32770624 swapFree=5780/385152
[pid=16802] ppid=16799 vsize=10995452 CPUtime=15 cores=1,3,5,7,9,11,13,15
/proc/16802/stat : 16802 (java) S 16799 16802 7912 0 -1 1077944320 67342 12558 0 0 1457 32 8 3 20 0 20 0 6042719 11259342848 95223 33554432000 4194304 4196468 140729063389600 140729063372144 140182799634167 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
/proc/16802/statm: 2748863 95223 3489 1 0 2736418 0
[pid=16802/tid=16857] ppid=16799 vsize=10995452 CPUtime=5.16 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16857/stat : 16857 (java) R 16799 16802 7912 0 -1 4202560 40589 12558 0 0 493 12 8 3 20 0 20 0 6042731 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182803852752 140182783714654 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16858] ppid=16799 vsize=10995452 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16858/stat : 16858 (java) S 16799 16802 7912 0 -1 1077944384 145 12558 0 0 20 1 8 3 20 0 20 0 6042732 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182406228880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16859] ppid=16799 vsize=10995452 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16859/stat : 16859 (java) S 16799 16802 7912 0 -1 1077944384 37 12558 0 0 18 1 8 3 20 0 20 0 6042732 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182405176080 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16860] ppid=16799 vsize=10995452 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16860/stat : 16860 (java) S 16799 16802 7912 0 -1 1077944384 67 12558 0 0 19 1 8 3 20 0 20 0 6042732 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182404123792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16861] ppid=16799 vsize=10995452 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16861/stat : 16861 (java) S 16799 16802 7912 0 -1 1077944384 61 12558 0 0 19 1 8 3 20 0 20 0 6042732 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182403070992 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16862] ppid=16799 vsize=10995452 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16862/stat : 16862 (java) S 16799 16802 7912 0 -1 1077944384 97 12558 0 0 21 1 8 3 20 0 20 0 6042732 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182402017680 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16863] ppid=16799 vsize=10995452 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16863/stat : 16863 (java) S 16799 16802 7912 0 -1 1077944384 46 12558 0 0 20 1 8 3 20 0 20 0 6042732 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182400964880 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16864] ppid=16799 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16864/stat : 16864 (java) S 16799 16802 7912 0 -1 1077944384 80 12558 0 0 15 0 8 3 20 0 20 0 6042732 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182399912592 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16865] ppid=16799 vsize=10995452 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16865/stat : 16865 (java) S 16799 16802 7912 0 -1 1077944384 43 12558 0 0 21 1 8 3 20 0 20 0 6042732 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182398859792 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16866] ppid=16799 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16866/stat : 16866 (java) S 16799 16802 7912 0 -1 1077944384 2322 12558 0 0 14 0 8 3 20 0 20 0 6042734 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182005770864 140182799645314 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16867] ppid=16799 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16867/stat : 16867 (java) S 16799 16802 7912 0 -1 1077944384 57 12558 0 0 0 0 8 3 20 0 20 0 6042735 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182004716960 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16868] ppid=16799 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16868/stat : 16868 (java) S 16799 16802 7912 0 -1 1077944384 43 12558 0 0 0 0 8 3 20 0 20 0 6042736 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182003664512 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16869] ppid=16799 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16869/stat : 16869 (java) S 16799 16802 7912 0 -1 1077944384 1 12558 0 0 0 0 8 3 20 0 20 0 6042740 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182002612816 140182799652763 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16870] ppid=16799 vsize=10995452 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16870/stat : 16870 (java) R 16799 16802 7912 0 -1 4202560 4823 12558 0 0 191 1 8 3 20 0 20 0 6042740 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182001546208 140182781178480 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16871] ppid=16799 vsize=10995452 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16871/stat : 16871 (java) R 16799 16802 7912 0 -1 4202560 2666 12558 0 0 163 2 8 3 20 0 20 0 6042740 11259342848 95223 33554432000 4194304 4196468 140729063389600 140182000495424 140182781178343 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16872] ppid=16799 vsize=10995452 CPUtime=2.53 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16872/stat : 16872 (java) R 16799 16802 7912 0 -1 4202560 7321 12558 0 0 240 2 8 3 20 0 20 0 6042740 11259342848 95223 33554432000 4194304 4196468 140729063389600 140181999446416 140182799634832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16873] ppid=16799 vsize=10995452 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16873/stat : 16873 (java) S 16799 16802 7912 0 -1 1077944384 6800 12558 0 0 194 2 8 3 20 0 20 0 6042740 11259342848 95223 33554432000 4194304 4196468 140729063389600 140181998401776 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16874] ppid=16799 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16874/stat : 16874 (java) S 16799 16802 7912 0 -1 1077944384 3 12558 0 0 0 0 8 3 20 0 20 0 6042740 11259342848 95223 33554432000 4194304 4196468 140729063389600 140181997349728 140182799644373 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
[pid=16802/tid=16875] ppid=16799 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/16802/task/16875/stat : 16875 (java) S 16799 16802 7912 0 -1 1077944384 8 12558 0 0 0 0 8 3 20 0 20 0 6042741 11259342848 95223 33554432000 4194304 4196468 140729063389600 140181996297008 140182799645314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10256384 140729063398081 140729063400855 140729063400855 140729063403471 0
Current children cumulated CPU time (s) 15
Current children cumulated vsize (KiB) 10995452

Child status: 0
Real time (s): 5.63936
CPU time (s): 15.064
CPU user time (s): 14.687
CPU system time (s): 0.377006
CPU usage (%): 267.123
Max. virtual memory (cumulated for all children) (KiB): 10998164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.687
system time used= 0.377006
maximum resident set size= 385228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80107
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= 11074
involuntary context switches= 2523

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05624 second user time and 0.060406 second system time

The end

Begin job on node125 at 2017-07-22 09:15:51
IDJOB=4245994
IDBENCH=123659
IDSOLVER=2630
FILE ID=node125/4245994-1500707750
RUNJOBID= node125-1500682887-8969
PBS_JOBID= 20623328
Free space on /tmp= 61952 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-23-sum.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245994-1500707750/watcher-4245994-1500707750 -o /tmp/evaluation-result-4245994-1500707750/solver-4245994-1500707750 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500682887-8969 --watchdog 2560  bin/concrete HOME/instance-4245994-1500707750.xml

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

MD5SUM BENCH= 0997a7a078e28dc29749c8fbf3dd0f9a
RANDOM SEED=1281069230

node125.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.51
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		: 1733.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.55
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		: 2133.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.51
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.55
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.51
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		: 1867.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.55
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		: 2133.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.51
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		: 2133.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.55
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.51
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		: 2533.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.55
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		: 2133.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.51
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		: 2533.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.55
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		: 2133.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.51
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		: 1867.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.55
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.51
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		: 1600.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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30643796 kB
MemAvailable:   31086992 kB
Buffers:          181056 kB
Cached:           538016 kB
SwapCached:            0 kB
Active:          1288904 kB
Inactive:         393904 kB
Active(anon):     966016 kB
Inactive(anon):     8764 kB
Active(file):     322888 kB
Inactive(file):   385140 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24852 kB
Writeback:             0 kB
AnonPages:        981120 kB
Mapped:            43808 kB
Shmem:              8840 kB
Slab:             135852 kB
SReclaimable:     102004 kB
SUnreclaim:        33848 kB
KernelStack:        4864 kB
PageTables:         8784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1507516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    790528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61928 MiB
End job on node125 at 2017-07-22 09:15:56

Name	Sat/ Sat-sum-flat200-479/Sat-flat200-23-sum.xml
MD5SUM	0997a7a078e28dc29749c8fbf3dd0f9a
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.484846
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	4
Maximum variable degree	11
Distribution of variable degrees	[{"degree":4,"count":12},{"degree":5,"count":81},{"degree":6,"count":72},{"degree":7,"count":105},{"degree":8,"count":111},{"degree":9,"count":84},{"degree":10,"count":75},{"degree":11,"count":60}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective

Trace number 4245994

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data