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	70.4828	51.5635

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-4248054-1500742457/watcher-4248054-1500742457 -o /tmp/evaluation-result-4248054-1500742457/solver-4248054-1500742457 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500739996-23970 --watchdog 2560 bin/concrete HOME/instance-4248054-1500742457.xml 

pid=25684
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.13 1.69 1.56 3/261 25687
/proc/meminfo: memFree=29917628/32770624 swapFree=5724/305160
[pid=25687] ppid=25684 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25687/stat : 25687 (bash) S 25684 25687 20253 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 9512098 9736192 350 33554432000 4194304 5098028 140725950209408 140725950207048 140283573136384 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 29900800 140725950215438 140725950215523 140725950215523 140725950218222 0
/proc/25687/statm: 2377 350 277 221 0 86 0

[startup+0.100145 s]
/proc/loadavg: 2.13 1.69 1.56 3/261 25687
/proc/meminfo: memFree=29917628/32770624 swapFree=5724/305160
[pid=25687] ppid=25684 vsize=9640 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/stat : 25687 (bash) S 25684 25687 20253 0 -1 4202496 920 11875 0 0 0 0 5 3 20 0 1 0 9512098 9871360 381 33554432000 4194304 5098028 140725950209408 140725950205240 140283573136384 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 0 0 0 7196144 7232144 29900800 140725950215438 140725950215523 140725950215523 140725950218222 0
/proc/25687/statm: 2410 381 299 221 0 119 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9640

[startup+0.202036 s]
/proc/loadavg: 2.13 1.69 1.56 3/261 25687
/proc/meminfo: memFree=29917628/32770624 swapFree=5724/305160
[pid=25687] ppid=25684 vsize=10901808 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25687/stat : 25687 (java) S 25684 25687 20253 0 -1 1077944320 5807 12549 0 0 9 1 5 3 20 0 20 0 9512098 11163451392 6092 33554432000 4194304 4196468 140724833604448 140724833586992 139658276085495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
/proc/25687/statm: 2725452 6092 2691 1 0 2713890 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10901808

[startup+0.300319 s]
/proc/loadavg: 2.13 1.69 1.56 3/261 25687
/proc/meminfo: memFree=29917628/32770624 swapFree=5724/305160
[pid=25687] ppid=25684 vsize=10902292 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/25687/stat : 25687 (java) S 25684 25687 20253 0 -1 1077944320 9229 12549 0 0 24 3 5 3 20 0 20 0 9512098 11163947008 9764 33554432000 4194304 4196468 140724833604448 140724833586992 139658276085495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
/proc/25687/statm: 2725573 9764 2966 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292

[startup+0.700169 s]
/proc/loadavg: 2.13 1.69 1.56 3/261 25687
/proc/meminfo: memFree=29917628/32770624 swapFree=5724/305160
[pid=25687] ppid=25684 vsize=10902720 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/25687/stat : 25687 (java) S 25684 25687 20253 0 -1 1077944320 13332 12549 0 0 86 4 5 3 20 0 20 0 9512098 11164385280 16171 33554432000 4194304 4196468 140724833604448 140724833586992 139658276085495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
/proc/25687/statm: 2725680 16171 3235 1 0 2713890 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10902720

[startup+1.50096 s]
/proc/loadavg: 2.13 1.69 1.56 3/281 25760
/proc/meminfo: memFree=29808104/32770624 swapFree=5724/305220
[pid=25687] ppid=25684 vsize=10913344 CPUtime=2.3 cores=1,3,5,7,9,11,13,15
/proc/25687/stat : 25687 (java) S 25684 25687 20253 0 -1 1077944320 26380 12549 0 0 210 12 5 3 20 0 20 0 9512098 11175264256 45119 33554432000 4194304 4196468 140724833604448 140724833586992 139658276085495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
/proc/25687/statm: 2728336 45119 3410 1 0 2716450 0
[pid=25687/tid=25742] ppid=25684 vsize=10913344 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25742/stat : 25742 (java) R 25684 25687 20253 0 -1 4202560 18823 12549 0 0 128 5 5 3 20 0 20 0 9512109 11175264256 45119 33554432000 4194304 4196468 140724833604448 139658280314056 139658276097430 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25743] ppid=25684 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25743/stat : 25743 (java) S 25684 25687 20253 0 -1 1077944384 154 12549 0 0 1 0 5 3 20 0 20 0 9512110 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657883347216 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25744] ppid=25684 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25744/stat : 25744 (java) S 25684 25687 20253 0 -1 1077944384 12 12549 0 0 1 0 5 3 20 0 20 0 9512110 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657882294672 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25745] ppid=25684 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25745/stat : 25745 (java) S 25684 25687 20253 0 -1 1077944384 34 12549 0 0 1 0 5 3 20 0 20 0 9512110 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657881242128 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25746] ppid=25684 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25746/stat : 25746 (java) S 25684 25687 20253 0 -1 1077944384 19 12549 0 0 1 0 5 3 20 0 20 0 9512110 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657880189584 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25747] ppid=25684 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25747/stat : 25747 (java) S 25684 25687 20253 0 -1 1077944384 11 12549 0 0 1 0 5 3 20 0 20 0 9512110 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657879137040 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25748] ppid=25684 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25748/stat : 25748 (java) S 25684 25687 20253 0 -1 1077944384 32 12549 0 0 1 0 5 3 20 0 20 0 9512110 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657878084496 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25749] ppid=25684 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25749/stat : 25749 (java) S 25684 25687 20253 0 -1 1077944384 16 12549 0 0 1 0 5 3 20 0 20 0 9512110 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657877031952 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25750] ppid=25684 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25750/stat : 25750 (java) S 25684 25687 20253 0 -1 1077944384 24 12549 0 0 1 0 5 3 20 0 20 0 9512110 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657875979408 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25751] ppid=25684 vsize=10913344 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25751/stat : 25751 (java) S 25684 25687 20253 0 -1 1077944384 896 12549 0 0 1 0 5 3 20 0 20 0 9512112 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657026029552 139658276096642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25752] ppid=25684 vsize=10913344 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25752/stat : 25752 (java) S 25684 25687 20253 0 -1 1077944384 55 12549 0 0 0 0 5 3 20 0 20 0 9512113 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657024975840 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25753] ppid=25684 vsize=10913344 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25753/stat : 25753 (java) S 25684 25687 20253 0 -1 1077944384 43 12549 0 0 0 0 5 3 20 0 20 0 9512113 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657023923200 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25754] ppid=25684 vsize=10913344 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25754/stat : 25754 (java) S 25684 25687 20253 0 -1 1077944384 1 12549 0 0 0 0 5 3 20 0 20 0 9512117 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657022871760 139658276104091 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25755] ppid=25684 vsize=10913344 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25755/stat : 25755 (java) S 25684 25687 20253 0 -1 1077944384 1082 12549 0 0 12 0 5 3 20 0 20 0 9512117 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657021819376 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25756] ppid=25684 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25756/stat : 25756 (java) S 25684 25687 20253 0 -1 1077944384 1200 12549 0 0 14 0 5 3 20 0 20 0 9512117 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657020766832 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25757] ppid=25684 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25757/stat : 25757 (java) S 25684 25687 20253 0 -1 1077944384 642 12549 0 0 13 0 5 3 20 0 20 0 9512117 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657019714288 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25758] ppid=25684 vsize=10913344 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25758/stat : 25758 (java) S 25684 25687 20253 0 -1 1077944384 1201 12549 0 0 27 0 5 3 20 0 20 0 9512117 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657018661744 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25759] ppid=25684 vsize=10913344 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25759/stat : 25759 (java) S 25684 25687 20253 0 -1 1077944384 3 12549 0 0 0 0 5 3 20 0 20 0 9512118 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657017608416 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25760] ppid=25684 vsize=10913344 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25760/stat : 25760 (java) S 25684 25687 20253 0 -1 1077944384 3 12549 0 0 0 0 5 3 20 0 20 0 9512118 11175264256 45119 33554432000 4194304 4196468 140724833604448 139657016555952 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 10913344

[startup+3.1008 s]
/proc/loadavg: 2.13 1.69 1.56 4/281 25760
/proc/meminfo: memFree=29735048/32770624 swapFree=5724/305220
[pid=25687] ppid=25684 vsize=10925820 CPUtime=6.02 cores=1,3,5,7,9,11,13,15
/proc/25687/stat : 25687 (java) S 25684 25687 20253 0 -1 1077944320 41455 12549 0 0 577 17 5 3 20 0 20 0 9512098 11188039680 56045 33554432000 4194304 4196468 140724833604448 140724833586992 139658276085495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
/proc/25687/statm: 2731455 56045 3475 1 0 2719010 0
[pid=25687/tid=25742] ppid=25684 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25742/stat : 25742 (java) R 25684 25687 20253 0 -1 4202560 29047 12549 0 0 286 7 5 3 20 0 20 0 9512109 11188039680 56045 33554432000 4194304 4196468 140724833604448 139658280316336 139658276097430 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25743] ppid=25684 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25743/stat : 25743 (java) S 25684 25687 20253 0 -1 1077944384 154 12549 0 0 1 0 5 3 20 0 20 0 9512110 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657883347216 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25744] ppid=25684 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25744/stat : 25744 (java) S 25684 25687 20253 0 -1 1077944384 12 12549 0 0 1 0 5 3 20 0 20 0 9512110 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657882294672 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25745] ppid=25684 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25745/stat : 25745 (java) S 25684 25687 20253 0 -1 1077944384 34 12549 0 0 1 0 5 3 20 0 20 0 9512110 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657881242128 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25746] ppid=25684 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25746/stat : 25746 (java) S 25684 25687 20253 0 -1 1077944384 19 12549 0 0 1 0 5 3 20 0 20 0 9512110 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657880189584 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25747] ppid=25684 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25747/stat : 25747 (java) S 25684 25687 20253 0 -1 1077944384 11 12549 0 0 1 0 5 3 20 0 20 0 9512110 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657879137040 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25748] ppid=25684 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25748/stat : 25748 (java) S 25684 25687 20253 0 -1 1077944384 32 12549 0 0 1 0 5 3 20 0 20 0 9512110 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657878084496 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25749] ppid=25684 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25749/stat : 25749 (java) S 25684 25687 20253 0 -1 1077944384 16 12549 0 0 1 0 5 3 20 0 20 0 9512110 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657877031952 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25750] ppid=25684 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25750/stat : 25750 (java) S 25684 25687 20253 0 -1 1077944384 24 12549 0 0 1 0 5 3 20 0 20 0 9512110 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657875979408 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25751] ppid=25684 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25751/stat : 25751 (java) S 25684 25687 20253 0 -1 1077944384 911 12549 0 0 1 0 5 3 20 0 20 0 9512112 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657026029552 139658276096642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25752] ppid=25684 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25752/stat : 25752 (java) S 25684 25687 20253 0 -1 1077944384 55 12549 0 0 0 0 5 3 20 0 20 0 9512113 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657024975840 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25753] ppid=25684 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25753/stat : 25753 (java) S 25684 25687 20253 0 -1 1077944384 43 12549 0 0 0 0 5 3 20 0 20 0 9512113 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657023923200 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25754] ppid=25684 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25754/stat : 25754 (java) S 25684 25687 20253 0 -1 1077944384 1 12549 0 0 0 0 5 3 20 0 20 0 9512117 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657022871760 139658276104091 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25755] ppid=25684 vsize=10925820 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25755/stat : 25755 (java) S 25684 25687 20253 0 -1 1077944384 1336 12549 0 0 44 0 5 3 20 0 20 0 9512117 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657021819376 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25756] ppid=25684 vsize=10925820 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25756/stat : 25756 (java) S 25684 25687 20253 0 -1 1077944384 3164 12549 0 0 87 1 5 3 20 0 20 0 9512117 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657020766832 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25757] ppid=25684 vsize=10925820 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25757/stat : 25757 (java) S 25684 25687 20253 0 -1 1077944384 1273 12549 0 0 47 1 5 3 20 0 20 0 9512117 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657019714288 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25758] ppid=25684 vsize=10925820 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25758/stat : 25758 (java) S 25684 25687 20253 0 -1 1077944384 3187 12549 0 0 96 1 5 3 20 0 20 0 9512117 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657018661744 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25759] ppid=25684 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25759/stat : 25759 (java) S 25684 25687 20253 0 -1 1077944384 3 12549 0 0 0 0 5 3 20 0 20 0 9512118 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657017608416 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25760] ppid=25684 vsize=10925820 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25760/stat : 25760 (java) S 25684 25687 20253 0 -1 1077944384 4 12549 0 0 0 0 5 3 20 0 20 0 9512118 11188039680 56045 33554432000 4194304 4196468 140724833604448 139657016555952 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
Current children cumulated CPU time (s) 6.02
Current children cumulated vsize (KiB) 10925820

[startup+6.30083 s]
/proc/loadavg: 2.12 1.69 1.56 3/281 25760
/proc/meminfo: memFree=29430712/32770624 swapFree=5724/305212
[pid=25687] ppid=25684 vsize=10927868 CPUtime=14.23 cores=1,3,5,7,9,11,13,15
/proc/25687/stat : 25687 (java) S 25684 25687 20253 0 -1 1077944320 58248 12549 0 0 1370 45 5 3 20 0 20 0 9512098 11190136832 135358 33554432000 4194304 4196468 140724833604448 140724833586992 139658276085495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
/proc/25687/statm: 2731967 135358 3497 1 0 2719522 0
[pid=25687/tid=25742] ppid=25684 vsize=10927868 CPUtime=6.12 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25742/stat : 25742 (java) R 25684 25687 20253 0 -1 4202560 32516 12549 0 0 593 11 5 3 20 0 20 0 9512109 11190136832 135358 33554432000 4194304 4196468 140724833604448 139658280314088 139657926258352 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25743] ppid=25684 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25743/stat : 25743 (java) S 25684 25687 20253 0 -1 1077944384 192 12549 0 0 4 3 5 3 20 0 20 0 9512110 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657883347216 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25744] ppid=25684 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25744/stat : 25744 (java) S 25684 25687 20253 0 -1 1077944384 69 12549 0 0 4 3 5 3 20 0 20 0 9512110 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657882294672 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25745] ppid=25684 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25745/stat : 25745 (java) S 25684 25687 20253 0 -1 1077944384 137 12549 0 0 3 3 5 3 20 0 20 0 9512110 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657881242128 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25746] ppid=25684 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25746/stat : 25746 (java) S 25684 25687 20253 0 -1 1077944384 217 12549 0 0 3 3 5 3 20 0 20 0 9512110 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657880189584 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25747] ppid=25684 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25747/stat : 25747 (java) S 25684 25687 20253 0 -1 1077944384 567 12549 0 0 5 2 5 3 20 0 20 0 9512110 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657879137040 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25748] ppid=25684 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25748/stat : 25748 (java) S 25684 25687 20253 0 -1 1077944384 182 12549 0 0 4 2 5 3 20 0 20 0 9512110 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657878084496 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25749] ppid=25684 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25749/stat : 25749 (java) S 25684 25687 20253 0 -1 1077944384 250 12549 0 0 3 3 5 3 20 0 20 0 9512110 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657877031952 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25750] ppid=25684 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25750/stat : 25750 (java) S 25684 25687 20253 0 -1 1077944384 70 12549 0 0 3 2 5 3 20 0 20 0 9512110 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657875979408 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25751] ppid=25684 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25751/stat : 25751 (java) S 25684 25687 20253 0 -1 1077944384 1221 12549 0 0 2 0 5 3 20 0 20 0 9512112 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657026029552 139658276096642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25752] ppid=25684 vsize=10927868 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25752/stat : 25752 (java) S 25684 25687 20253 0 -1 1077944384 57 12549 0 0 0 0 5 3 20 0 20 0 9512113 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657024975840 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25753] ppid=25684 vsize=10927868 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25753/stat : 25753 (java) S 25684 25687 20253 0 -1 1077944384 47 12549 0 0 0 0 5 3 20 0 20 0 9512113 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657023923200 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25754] ppid=25684 vsize=10927868 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25754/stat : 25754 (java) S 25684 25687 20253 0 -1 1077944384 1 12549 0 0 0 0 5 3 20 0 20 0 9512117 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657022871760 139658276104091 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25755] ppid=25684 vsize=10927868 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25755/stat : 25755 (java) S 25684 25687 20253 0 -1 1077944384 3399 12549 0 0 182 0 5 3 20 0 20 0 9512117 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657021819376 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25756] ppid=25684 vsize=10927868 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25756/stat : 25756 (java) S 25684 25687 20253 0 -1 1077944384 5051 12549 0 0 223 1 5 3 20 0 20 0 9512117 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657020766832 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25757] ppid=25684 vsize=10927868 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25757/stat : 25757 (java) S 25684 25687 20253 0 -1 1077944384 4477 12549 0 0 197 1 5 3 20 0 20 0 9512117 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657019714288 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25758] ppid=25684 vsize=10927868 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25758/stat : 25758 (java) S 25684 25687 20253 0 -1 1077944384 7238 12549 0 0 134 2 5 3 20 0 20 0 9512117 11190136832 135358 33554432000 4194304 4196468 140724833604448 139657018661744 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25759] ppid=25684 vsize=10927868 CPUtime=0.08 cores=1,3,5,7,9,11,13,15

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

/proc/25687/task/25752/stat : 25752 (java) S 25684 25687 20253 0 -1 1077944384 67 12549 0 0 0 0 5 3 20 0 20 0 9512113 11259342848 726729 33554432000 4194304 4196468 140724833604448 139657024975840 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25753] ppid=25684 vsize=10995452 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25753/stat : 25753 (java) S 25684 25687 20253 0 -1 1077944384 54 12549 0 0 0 0 5 3 20 0 20 0 9512113 11259342848 726729 33554432000 4194304 4196468 140724833604448 139657023923200 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25754] ppid=25684 vsize=10995452 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25754/stat : 25754 (java) S 25684 25687 20253 0 -1 1077944384 1 12549 0 0 0 0 5 3 20 0 20 0 9512117 11259342848 726729 33554432000 4194304 4196468 140724833604448 139657022871760 139658276104091 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25755] ppid=25684 vsize=10995452 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25755/stat : 25755 (java) S 25684 25687 20253 0 -1 1077944384 6750 12549 0 0 249 1 5 3 20 0 20 0 9512117 11259342848 726729 33554432000 4194304 4196468 140724833604448 139657021799312 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25756] ppid=25684 vsize=10995452 CPUtime=3.2 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25756/stat : 25756 (java) S 25684 25687 20253 0 -1 1077944384 10824 12549 0 0 310 2 5 3 20 0 20 0 9512117 11259342848 726729 33554432000 4194304 4196468 140724833604448 139657020751824 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25757] ppid=25684 vsize=10995452 CPUtime=3.33 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25757/stat : 25757 (java) S 25684 25687 20253 0 -1 1077944384 12428 12549 0 0 322 3 5 3 20 0 20 0 9512117 11259342848 726729 33554432000 4194304 4196468 140724833604448 139657019704480 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25758] ppid=25684 vsize=10995452 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25758/stat : 25758 (java) S 25684 25687 20253 0 -1 1077944384 13799 12549 0 0 189 4 5 3 20 0 20 0 9512117 11259342848 726729 33554432000 4194304 4196468 140724833604448 139657018657264 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25759] ppid=25684 vsize=10995452 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25759/stat : 25759 (java) S 25684 25687 20253 0 -1 1077944384 3 12549 0 0 0 0 5 3 20 0 20 0 9512118 11259342848 726729 33554432000 4194304 4196468 140724833604448 139657017608416 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25760] ppid=25684 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25760/stat : 25760 (java) S 25684 25687 20253 0 -1 1077944384 496 12549 0 0 1 1 5 3 20 0 20 0 9512118 11259342848 726729 33554432000 4194304 4196468 140724833604448 139657016555952 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
Current children cumulated CPU time (s) 67.96
Current children cumulated vsize (KiB) 10995452

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

[startup+51.2013 s]
/proc/loadavg: 2.00 1.72 1.58 4/281 25761
/proc/meminfo: memFree=26687332/32770624 swapFree=5724/305232
[pid=25687] ppid=25684 vsize=10995452 CPUtime=68.62 cores=1,3,5,7,9,11,13,15
/proc/25687/stat : 25687 (java) S 25684 25687 20253 0 -1 1077944320 126881 12549 0 0 6477 377 5 3 20 0 20 0 9512098 11259342848 726760 33554432000 4194304 4196468 140724833604448 140724833586992 139658276085495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
/proc/25687/statm: 2748863 726760 3507 1 0 2736418 0
[pid=25687/tid=25742] ppid=25684 vsize=10995452 CPUtime=49.97 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25742/stat : 25742 (java) S 25684 25687 20253 0 -1 1077944384 58265 12549 0 0 4950 39 5 3 20 0 20 0 9512109 11259342848 726760 33554432000 4194304 4196468 140724833604448 139658280323280 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25743] ppid=25684 vsize=10995452 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25743/stat : 25743 (java) R 25684 25687 20253 0 -1 4202560 1215 12549 0 0 52 41 5 3 20 0 20 0 9512110 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657883347416 139658261081884 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25744] ppid=25684 vsize=10995452 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25744/stat : 25744 (java) R 25684 25687 20253 0 -1 4202560 448 12549 0 0 55 40 5 3 20 0 20 0 9512110 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657882294872 139658261082122 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25745] ppid=25684 vsize=10995452 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25745/stat : 25745 (java) R 25684 25687 20253 0 -1 4202560 1360 12549 0 0 53 39 5 3 20 0 20 0 9512110 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657881242328 139658260784251 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25746] ppid=25684 vsize=10995452 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25746/stat : 25746 (java) R 25684 25687 20253 0 -1 4202560 612 12549 0 0 56 39 5 3 20 0 20 0 9512110 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657880189584 139658276106842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25747] ppid=25684 vsize=10995452 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25747/stat : 25747 (java) R 25684 25687 20253 0 -1 4202560 903 12549 0 0 54 40 5 3 20 0 20 0 9512110 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657879137240 139658257695278 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25748] ppid=25684 vsize=10995452 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25748/stat : 25748 (java) R 25684 25687 20253 0 -1 4202560 522 12549 0 0 55 40 5 3 20 0 20 0 9512110 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657878084496 139658260784368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25749] ppid=25684 vsize=10995452 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25749/stat : 25749 (java) R 25684 25687 20253 0 -1 4202560 963 12549 0 0 54 40 5 3 20 0 20 0 9512110 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657877032152 139658261082141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25750] ppid=25684 vsize=10995452 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25750/stat : 25750 (java) R 25684 25687 20253 0 -1 4202560 812 12549 0 0 53 40 5 3 20 0 20 0 9512110 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657875979608 139658261082090 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25751] ppid=25684 vsize=10995452 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25751/stat : 25751 (java) S 25684 25687 20253 0 -1 1077944384 15227 12549 0 0 13 1 5 3 20 0 20 0 9512112 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657026028176 139658276095701 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25752] ppid=25684 vsize=10995452 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25752/stat : 25752 (java) S 25684 25687 20253 0 -1 1077944384 68 12549 0 0 0 0 5 3 20 0 20 0 9512113 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657024975744 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25753] ppid=25684 vsize=10995452 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25753/stat : 25753 (java) S 25684 25687 20253 0 -1 1077944384 54 12549 0 0 0 0 5 3 20 0 20 0 9512113 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657023923200 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25754] ppid=25684 vsize=10995452 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25754/stat : 25754 (java) S 25684 25687 20253 0 -1 1077944384 1 12549 0 0 0 0 5 3 20 0 20 0 9512117 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657022871760 139658276104091 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25755] ppid=25684 vsize=10995452 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25755/stat : 25755 (java) S 25684 25687 20253 0 -1 1077944384 6750 12549 0 0 249 1 5 3 20 0 20 0 9512117 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657021799312 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25756] ppid=25684 vsize=10995452 CPUtime=3.2 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25756/stat : 25756 (java) S 25684 25687 20253 0 -1 1077944384 10826 12549 0 0 310 2 5 3 20 0 20 0 9512117 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657020751728 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25757] ppid=25684 vsize=10995452 CPUtime=3.33 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25757/stat : 25757 (java) S 25684 25687 20253 0 -1 1077944384 12428 12549 0 0 322 3 5 3 20 0 20 0 9512117 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657019704480 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25758] ppid=25684 vsize=10995452 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25758/stat : 25758 (java) S 25684 25687 20253 0 -1 1077944384 13799 12549 0 0 189 4 5 3 20 0 20 0 9512117 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657018657264 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25759] ppid=25684 vsize=10995452 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25759/stat : 25759 (java) S 25684 25687 20253 0 -1 1077944384 3 12549 0 0 0 0 5 3 20 0 20 0 9512118 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657017608416 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25760] ppid=25684 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25760/stat : 25760 (java) S 25684 25687 20253 0 -1 1077944384 496 12549 0 0 1 1 5 3 20 0 20 0 9512118 11259342848 726760 33554432000 4194304 4196468 140724833604448 139657016555952 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
Current children cumulated CPU time (s) 68.62
Current children cumulated vsize (KiB) 10995452

[startup+51.401 s]
/proc/loadavg: 2.00 1.72 1.58 4/281 25761
/proc/meminfo: memFree=26687332/32770624 swapFree=5724/305232
[pid=25687] ppid=25684 vsize=10995452 CPUtime=69.9 cores=1,3,5,7,9,11,13,15
/proc/25687/stat : 25687 (java) S 25684 25687 20253 0 -1 1077944320 126935 12549 0 0 6605 377 5 3 20 0 20 0 9512098 11259342848 726788 33554432000 4194304 4196468 140724833604448 140724833586992 139658276085495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
/proc/25687/statm: 2748863 726788 3507 1 0 2736418 0
[pid=25687/tid=25742] ppid=25684 vsize=10995452 CPUtime=49.97 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25742/stat : 25742 (java) S 25684 25687 20253 0 -1 1077944384 58266 12549 0 0 4950 39 5 3 20 0 20 0 9512109 11259342848 726788 33554432000 4194304 4196468 140724833604448 139658280323280 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25743] ppid=25684 vsize=10995452 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25743/stat : 25743 (java) R 25684 25687 20253 0 -1 4202560 1222 12549 0 0 69 41 5 3 20 0 20 0 9512110 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657883347416 139658261036089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25744] ppid=25684 vsize=10995452 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25744/stat : 25744 (java) R 25684 25687 20253 0 -1 4202560 454 12549 0 0 71 40 5 3 20 0 20 0 9512110 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657882294872 139658260539555 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25745] ppid=25684 vsize=10995452 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25745/stat : 25745 (java) R 25684 25687 20253 0 -1 4202560 1368 12549 0 0 68 39 5 3 20 0 20 0 9512110 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657881242016 139658260783134 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25746] ppid=25684 vsize=10995452 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25746/stat : 25746 (java) R 25684 25687 20253 0 -1 4202560 621 12549 0 0 72 39 5 3 20 0 20 0 9512110 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657880189784 139658260539526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25747] ppid=25684 vsize=10995452 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25747/stat : 25747 (java) R 25684 25687 20253 0 -1 4202560 907 12549 0 0 69 40 5 3 20 0 20 0 9512110 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657879137240 139658260540252 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25748] ppid=25684 vsize=10995452 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25748/stat : 25748 (java) R 25684 25687 20253 0 -1 4202560 528 12549 0 0 71 40 5 3 20 0 20 0 9512110 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657878084696 139658260783247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25749] ppid=25684 vsize=10995452 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25749/stat : 25749 (java) R 25684 25687 20253 0 -1 4202560 966 12549 0 0 69 40 5 3 20 0 20 0 9512110 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657877032152 139658260539481 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25750] ppid=25684 vsize=10995452 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25750/stat : 25750 (java) R 25684 25687 20253 0 -1 4202560 818 12549 0 0 68 40 5 3 20 0 20 0 9512110 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657875979608 139658260540252 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25751] ppid=25684 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25751/stat : 25751 (java) S 25684 25687 20253 0 -1 1077944384 15227 12549 0 0 17 1 5 3 20 0 20 0 9512112 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657026027952 139658276095701 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25752] ppid=25684 vsize=10995452 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25752/stat : 25752 (java) S 25684 25687 20253 0 -1 1077944384 69 12549 0 0 0 0 5 3 20 0 20 0 9512113 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657024975744 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25753] ppid=25684 vsize=10995452 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25753/stat : 25753 (java) S 25684 25687 20253 0 -1 1077944384 54 12549 0 0 0 0 5 3 20 0 20 0 9512113 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657023923200 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25754] ppid=25684 vsize=10995452 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25754/stat : 25754 (java) S 25684 25687 20253 0 -1 1077944384 1 12549 0 0 0 0 5 3 20 0 20 0 9512117 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657022871760 139658276104091 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25755] ppid=25684 vsize=10995452 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25755/stat : 25755 (java) S 25684 25687 20253 0 -1 1077944384 6750 12549 0 0 249 1 5 3 20 0 20 0 9512117 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657021800912 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25756] ppid=25684 vsize=10995452 CPUtime=3.21 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25756/stat : 25756 (java) S 25684 25687 20253 0 -1 1077944384 10828 12549 0 0 311 2 5 3 20 0 20 0 9512117 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657020757936 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25757] ppid=25684 vsize=10995452 CPUtime=3.33 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25757/stat : 25757 (java) S 25684 25687 20253 0 -1 1077944384 12429 12549 0 0 322 3 5 3 20 0 20 0 9512117 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657019703488 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25758] ppid=25684 vsize=10995452 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25758/stat : 25758 (java) S 25684 25687 20253 0 -1 1077944384 13799 12549 0 0 189 4 5 3 20 0 20 0 9512117 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657018656064 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25759] ppid=25684 vsize=10995452 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25759/stat : 25759 (java) S 25684 25687 20253 0 -1 1077944384 3 12549 0 0 0 0 5 3 20 0 20 0 9512118 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657017608416 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25760] ppid=25684 vsize=10995452 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25760/stat : 25760 (java) S 25684 25687 20253 0 -1 1077944384 496 12549 0 0 1 1 5 3 20 0 20 0 9512118 11259342848 726788 33554432000 4194304 4196468 140724833604448 139657016555952 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
Current children cumulated CPU time (s) 69.9
Current children cumulated vsize (KiB) 10995452

[startup+51.501 s]
/proc/loadavg: 2.00 1.72 1.58 4/281 25761
/proc/meminfo: memFree=26687332/32770624 swapFree=5724/305232
[pid=25687] ppid=25684 vsize=10997500 CPUtime=70.35 cores=1,3,5,7,9,11,13,15
/proc/25687/stat : 25687 (java) S 25684 25687 20253 0 -1 1077944320 127392 12549 0 0 6650 377 5 3 20 0 20 0 9512098 11261440000 726846 33554432000 4194304 4196468 140724833604448 140724833586992 139658276085495 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
/proc/25687/statm: 2749375 726846 3507 1 0 2736930 0
[pid=25687/tid=25742] ppid=25684 vsize=10997500 CPUtime=50.01 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25742/stat : 25742 (java) R 25684 25687 20253 0 -1 4202560 58427 12549 0 0 4954 39 5 3 20 0 20 0 9512109 11261440000 726846 33554432000 4194304 4196468 140724833604448 139658280318416 139657914949958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25743] ppid=25684 vsize=10997500 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25743/stat : 25743 (java) S 25684 25687 20253 0 -1 1077944384 1223 12549 0 0 73 41 5 3 20 0 20 0 9512110 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657883347216 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25744] ppid=25684 vsize=10997500 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25744/stat : 25744 (java) S 25684 25687 20253 0 -1 1077944384 455 12549 0 0 75 40 5 3 20 0 20 0 9512110 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657882294672 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25745] ppid=25684 vsize=10997500 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25745/stat : 25745 (java) S 25684 25687 20253 0 -1 1077944384 1368 12549 0 0 73 39 5 3 20 0 20 0 9512110 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657881242128 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25746] ppid=25684 vsize=10997500 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25746/stat : 25746 (java) S 25684 25687 20253 0 -1 1077944384 621 12549 0 0 77 39 5 3 20 0 20 0 9512110 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657880189584 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25747] ppid=25684 vsize=10997500 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25747/stat : 25747 (java) S 25684 25687 20253 0 -1 1077944384 907 12549 0 0 73 40 5 3 20 0 20 0 9512110 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657879137040 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25748] ppid=25684 vsize=10997500 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25748/stat : 25748 (java) S 25684 25687 20253 0 -1 1077944384 535 12549 0 0 75 40 5 3 20 0 20 0 9512110 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657878084496 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25749] ppid=25684 vsize=10997500 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25749/stat : 25749 (java) S 25684 25687 20253 0 -1 1077944384 966 12549 0 0 74 40 5 3 20 0 20 0 9512110 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657877031952 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25750] ppid=25684 vsize=10997500 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25750/stat : 25750 (java) S 25684 25687 20253 0 -1 1077944384 818 12549 0 0 72 40 5 3 20 0 20 0 9512110 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657875979408 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25751] ppid=25684 vsize=10997500 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25751/stat : 25751 (java) S 25684 25687 20253 0 -1 1077944384 15228 12549 0 0 18 1 5 3 20 0 20 0 9512112 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657026029552 139658276096642 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25752] ppid=25684 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25752/stat : 25752 (java) S 25684 25687 20253 0 -1 1077944384 73 12549 0 0 0 0 5 3 20 0 20 0 9512113 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657024975840 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25753] ppid=25684 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25753/stat : 25753 (java) S 25684 25687 20253 0 -1 1077944384 56 12549 0 0 0 0 5 3 20 0 20 0 9512113 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657023923200 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25754] ppid=25684 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25754/stat : 25754 (java) S 25684 25687 20253 0 -1 1077944384 1 12549 0 0 0 0 5 3 20 0 20 0 9512117 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657022871760 139658276104091 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25755] ppid=25684 vsize=10997500 CPUtime=2.62 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25755/stat : 25755 (java) S 25684 25687 20253 0 -1 1077944384 6807 12549 0 0 253 1 5 3 20 0 20 0 9512117 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657021819376 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25756] ppid=25684 vsize=10997500 CPUtime=3.22 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25756/stat : 25756 (java) R 25684 25687 20253 0 -1 4202560 10880 12549 0 0 312 2 5 3 20 0 20 0 9512117 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657020766752 139658276106842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25757] ppid=25684 vsize=10997500 CPUtime=3.34 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25757/stat : 25757 (java) S 25684 25687 20253 0 -1 1077944384 12480 12549 0 0 323 3 5 3 20 0 20 0 9512117 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657019714288 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25758] ppid=25684 vsize=10997500 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25758/stat : 25758 (java) R 25684 25687 20253 0 -1 4202560 13919 12549 0 0 190 4 5 3 20 0 20 0 9512117 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657018661552 139658276106842 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25759] ppid=25684 vsize=10997500 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25759/stat : 25759 (java) S 25684 25687 20253 0 -1 1077944384 3 12549 0 0 0 0 5 3 20 0 20 0 9512118 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657017608416 139658276095701 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
[pid=25687/tid=25760] ppid=25684 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25687/task/25760/stat : 25760 (java) S 25684 25687 20253 0 -1 1077944384 496 12549 0 0 1 1 5 3 20 0 20 0 9512118 11261440000 726846 33554432000 4194304 4196468 140724833604448 139657016555952 139658276096642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15417344 140724833610433 140724833613207 140724833613207 140724833615823 0
Current children cumulated CPU time (s) 70.35
Current children cumulated vsize (KiB) 10997500

Child status: 0
Real time (s): 51.5635
CPU time (s): 70.4828
CPU user time (s): 66.648
CPU system time (s): 3.83486
CPU usage (%): 136.691
Max. virtual memory (cumulated for all children) (KiB): 10997548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.648
system time used= 3.83486
maximum resident set size= 2908416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14304
involuntary context switches= 4637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.302738 second user time and 0.445115 second system time

The end

Begin job on node140 at 2017-07-22 18:54:17
IDJOB=4248054
IDBENCH=131533
IDSOLVER=2630
FILE ID=node140/4248054-1500742457
RUNJOBID= node140-1500739996-23970
PBS_JOBID= 20623347
Free space on /tmp= 61836 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b03-m800-07.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248054-1500742457/watcher-4248054-1500742457 -o /tmp/evaluation-result-4248054-1500742457/solver-4248054-1500742457 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500739996-23970 --watchdog 2560  bin/concrete HOME/instance-4248054-1500742457.xml

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

MD5SUM BENCH= 98d2d58aab7f5f40944baaa5254cf1ac
RANDOM SEED=544805634

node140.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.36
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.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		: 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.36
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		: 1733.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.36
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		: 1600.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		: 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.36
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		: 2000.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		: 2668.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.36
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		: 2668.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.36
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.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		: 2668.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.36
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		: 1733.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.36
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		: 2133.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:        29917692 kB
MemAvailable:   30269320 kB
Buffers:          155992 kB
Cached:           474696 kB
SwapCached:            0 kB
Active:          2102028 kB
Inactive:         313980 kB
Active(anon):    1788040 kB
Inactive(anon):     8820 kB
Active(file):     313988 kB
Inactive(file):   305160 kB
Unevictable:        5724 kB
Mlocked:            5724 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24724 kB
Writeback:             0 kB
AnonPages:       1486660 kB
Mapped:            44624 kB
Shmem:              8852 kB
Slab:             131192 kB
SReclaimable:      96628 kB
SUnreclaim:        34564 kB
KernelStack:        4864 kB
PageTables:         8824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2741944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1243136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61812 MiB
End job on node140 at 2017-07-22 18:55:09

Name	Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b03-m800-07.xml
MD5SUM	98d2d58aab7f5f40944baaa5254cf1ac
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.61332101
Satisfiable
(Un)Satisfiability was proved
Number of variables	480
Number of constraints	718
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":480}]
Minimum variable degree	2
Maximum variable degree	4
Distribution of variable degrees	[{"degree":2,"count":2},{"degree":3,"count":2},{"degree":4,"count":476}]
Minimum constraint arity	2
Maximum constraint arity	480
Distribution of constraint arities	[{"arity":2,"count":717},{"arity":480,"count":1}]
Number of extensional constraints	717
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":717},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective

Trace number 4248054

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data