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	286.749	234.919

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-4245835-1500707325/watcher-4245835-1500707325 -o /tmp/evaluation-result-4245835-1500707325/solver-4245835-1500707325 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7985 --watchdog 2560 bin/concrete HOME/instance-4245835-1500707325.xml 

pid=14754
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.95 2.41 2.60 3/261 14757
/proc/meminfo: memFree=28296860/32770624 swapFree=5788/294688
[pid=14757] ppid=14754 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (bash) S 14754 14757 7954 0 -1 4202496 686 1534 0 0 0 0 0 0 20 0 1 0 6000024 9736192 350 33554432000 4194304 5098028 140733306118032 140733306115672 140611091147776 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 27004928 140733306123534 140733306123619 140733306123619 140733306126318 0
/proc/14757/statm: 2377 350 277 221 0 86 0

[startup+0.100142 s]
/proc/loadavg: 1.95 2.41 2.60 3/261 14757
/proc/meminfo: memFree=28296860/32770624 swapFree=5788/294688
[pid=14757] ppid=14754 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (bash) S 14754 14757 7954 0 -1 4202496 880 6422 0 0 0 0 0 1 20 0 1 0 6000024 9871360 378 33554432000 4194304 5098028 140733306118032 140733306112040 140611091147776 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 27004928 140733306123534 140733306123619 140733306123619 140733306126318 0
/proc/14757/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200319 s]
/proc/loadavg: 1.95 2.41 2.60 3/261 14757
/proc/meminfo: memFree=28296860/32770624 swapFree=5788/294688
[pid=14757] ppid=14754 vsize=10835244 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (java) S 14754 14757 7954 0 -1 1077944320 5360 12566 0 0 8 1 8 3 20 0 19 0 6000024 11095289856 5640 33554432000 4194304 4196468 140732629793168 140732629775712 139977424686839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
/proc/14757/statm: 2708811 5640 2585 1 0 2697249 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10835244

[startup+0.300229 s]
/proc/loadavg: 1.95 2.41 2.60 3/261 14757
/proc/meminfo: memFree=28296860/32770624 swapFree=5788/294688
[pid=14757] ppid=14754 vsize=10902292 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (java) S 14754 14757 7954 0 -1 1077944320 9012 12566 0 0 24 2 8 3 20 0 20 0 6000024 11163947008 10040 33554432000 4194304 4196468 140732629793168 140732629775712 139977424686839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
/proc/14757/statm: 2725573 10040 2967 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902292

[startup+0.700171 s]
/proc/loadavg: 1.95 2.41 2.60 3/261 14757
/proc/meminfo: memFree=28296860/32770624 swapFree=5788/294688
[pid=14757] ppid=14754 vsize=10902720 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (java) S 14754 14757 7954 0 -1 1077944320 12953 12566 0 0 86 4 8 3 20 0 20 0 6000024 11164385280 16296 33554432000 4194304 4196468 140732629793168 140732629775712 139977424686839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
/proc/14757/statm: 2725680 16296 3236 1 0 2713890 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 10902720

[startup+1.50128 s]
/proc/loadavg: 1.95 2.41 2.60 3/281 14830
/proc/meminfo: memFree=28187072/32770624 swapFree=5788/294944
[pid=14757] ppid=14754 vsize=10913344 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (java) S 14754 14757 7954 0 -1 1077944320 25771 12566 0 0 202 15 8 3 20 0 20 0 6000024 11175264256 45107 33554432000 4194304 4196468 140732629793168 140732629775712 139977424686839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
/proc/14757/statm: 2728336 45107 3394 1 0 2716450 0
[pid=14757/tid=14812] ppid=14754 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14812/stat : 14812 (java) R 14754 14757 7954 0 -1 4202560 18619 12566 0 0 127 5 8 3 20 0 20 0 6000036 11175264256 45107 33554432000 4194304 4196468 140732629793168 139977428915672 139977408730469 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14813] ppid=14754 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14813/stat : 14813 (java) S 14754 14757 7954 0 -1 1077944384 19 12566 0 0 0 1 8 3 20 0 20 0 6000037 11175264256 45107 33554432000 4194304 4196468 140732629793168 139977350760976 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14814] ppid=14754 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14814/stat : 14814 (java) S 14754 14757 7954 0 -1 1077944384 13 12566 0 0 0 0 8 3 20 0 20 0 6000037 11175264256 45107 33554432000 4194304 4196468 140732629793168 139977349708432 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14815] ppid=14754 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14815/stat : 14815 (java) S 14754 14757 7954 0 -1 1077944384 30 12566 0 0 0 0 8 3 20 0 20 0 6000037 11175264256 45107 33554432000 4194304 4196468 140732629793168 139977348655376 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14816] ppid=14754 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14816/stat : 14816 (java) S 14754 14757 7954 0 -1 1077944384 21 12566 0 0 0 1 8 3 20 0 20 0 6000037 11175264256 45107 33554432000 4194304 4196468 140732629793168 139977347602832 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14817] ppid=14754 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14817/stat : 14817 (java) S 14754 14757 7954 0 -1 1077944384 25 12566 0 0 1 0 8 3 20 0 20 0 6000037 11175264256 45107 33554432000 4194304 4196468 140732629793168 139977027480592 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14818] ppid=14754 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14818/stat : 14818 (java) S 14754 14757 7954 0 -1 1077944384 35 12566 0 0 1 0 8 3 20 0 20 0 6000037 11175264256 45107 33554432000 4194304 4196468 140732629793168 139977026428048 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14819] ppid=14754 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14819/stat : 14819 (java) S 14754 14757 7954 0 -1 1077944384 16 12566 0 0 1 0 8 3 20 0 20 0 6000037 11175264256 45107 33554432000 4194304 4196468 140732629793168 139977025374992 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14820] ppid=14754 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14820/stat : 14820 (java) S 14754 14757 7954 0 -1 1077944384 141 12566 0 0 1 0 8 3 20 0 20 0 6000037 11175264256 45107 33554432000 4194304 4196468 140732629793168 139977024322448 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14821] ppid=14754 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14821/stat : 14821 (java) S 14754 14757 7954 0 -1 1077944384 661 12566 0 0 1 0 8 3 20 0 20 0 6000039 11175264256 45107 33554432000 4194304 4196468 140732629793168 139976190658800 139977424697986 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14822] ppid=14754 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14822/stat : 14822 (java) S 14754 14757 7954 0 -1 1077944384 55 12566 0 0 0 0 8 3 20 0 20 0 6000039 11175264256 45107 33554432000 4194304 4196468 140732629793168 139976189605024 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14823] ppid=14754 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14823/stat : 14823 (java) S 14754 14757 7954 0 -1 1077944384 45 12566 0 0 0 0 8 3 20 0 20 0 6000040 11175264256 45107 33554432000 4194304 4196468 140732629793168 139976188551920 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14824] ppid=14754 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14824/stat : 14824 (java) S 14754 14757 7954 0 -1 1077944384 1 12566 0 0 0 0 8 3 20 0 20 0 6000043 11175264256 45107 33554432000 4194304 4196468 140732629793168 139976187500496 139977424705435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14825] ppid=14754 vsize=10913344 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14825/stat : 14825 (java) S 14754 14757 7954 0 -1 1077944384 791 12566 0 0 11 0 8 3 20 0 20 0 6000043 11175264256 45107 33554432000 4194304 4196468 140732629793168 139976186448624 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14826] ppid=14754 vsize=10913344 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14826/stat : 14826 (java) S 14754 14757 7954 0 -1 1077944384 700 12566 0 0 11 0 8 3 20 0 20 0 6000043 11175264256 45107 33554432000 4194304 4196468 140732629793168 139976185396080 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14827] ppid=14754 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14827/stat : 14827 (java) S 14754 14757 7954 0 -1 1077944384 1190 12566 0 0 13 0 8 3 20 0 20 0 6000043 11175264256 45107 33554432000 4194304 4196468 140732629793168 139976184343024 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14828] ppid=14754 vsize=10913344 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14828/stat : 14828 (java) S 14754 14757 7954 0 -1 1077944384 1275 12566 0 0 27 0 8 3 20 0 20 0 6000043 11175264256 45107 33554432000 4194304 4196468 140732629793168 139976183290480 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14829] ppid=14754 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14829/stat : 14829 (java) S 14754 14757 7954 0 -1 1077944384 3 12566 0 0 0 0 8 3 20 0 20 0 6000044 11175264256 45107 33554432000 4194304 4196468 140732629793168 139976182237664 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14830] ppid=14754 vsize=10913344 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14830/stat : 14830 (java) S 14754 14757 7954 0 -1 1077944384 3 12566 0 0 0 0 8 3 20 0 20 0 6000044 11175264256 45107 33554432000 4194304 4196468 140732629793168 139976181185200 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10913344

[startup+3.10074 s]
/proc/loadavg: 1.95 2.40 2.60 5/281 14830
/proc/meminfo: memFree=28119752/32770624 swapFree=5788/294944
[pid=14757] ppid=14754 vsize=10923772 CPUtime=6.36 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (java) S 14754 14757 7954 0 -1 1077944320 38278 12566 0 0 596 29 8 3 20 0 20 0 6000024 11185942528 73675 33554432000 4194304 4196468 140732629793168 140732629775712 139977424686839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
/proc/14757/statm: 2730943 73675 3476 1 0 2718498 0
[pid=14757/tid=14812] ppid=14754 vsize=10923772 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14812/stat : 14812 (java) R 14754 14757 7954 0 -1 4202560 24276 12566 0 0 282 7 8 3 20 0 20 0 6000036 11185942528 73675 33554432000 4194304 4196468 140732629793168 139977428914520 139977424698774 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14813] ppid=14754 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14813/stat : 14813 (java) S 14754 14757 7954 0 -1 1077944384 50 12566 0 0 1 1 8 3 20 0 20 0 6000037 11185942528 73675 33554432000 4194304 4196468 140732629793168 139977350760976 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14814] ppid=14754 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14814/stat : 14814 (java) S 14754 14757 7954 0 -1 1077944384 33 12566 0 0 1 2 8 3 20 0 20 0 6000037 11185942528 73675 33554432000 4194304 4196468 140732629793168 139977349708432 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14815] ppid=14754 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14815/stat : 14815 (java) S 14754 14757 7954 0 -1 1077944384 39 12566 0 0 1 1 8 3 20 0 20 0 6000037 11185942528 73675 33554432000 4194304 4196468 140732629793168 139977348655376 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14816] ppid=14754 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14816/stat : 14816 (java) S 14754 14757 7954 0 -1 1077944384 31 12566 0 0 1 2 8 3 20 0 20 0 6000037 11185942528 73675 33554432000 4194304 4196468 140732629793168 139977347602832 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14817] ppid=14754 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14817/stat : 14817 (java) S 14754 14757 7954 0 -1 1077944384 37 12566 0 0 2 1 8 3 20 0 20 0 6000037 11185942528 73675 33554432000 4194304 4196468 140732629793168 139977027480592 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14818] ppid=14754 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14818/stat : 14818 (java) S 14754 14757 7954 0 -1 1077944384 49 12566 0 0 1 1 8 3 20 0 20 0 6000037 11185942528 73675 33554432000 4194304 4196468 140732629793168 139977026428048 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14819] ppid=14754 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14819/stat : 14819 (java) S 14754 14757 7954 0 -1 1077944384 28 12566 0 0 1 1 8 3 20 0 20 0 6000037 11185942528 73675 33554432000 4194304 4196468 140732629793168 139977025374992 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14820] ppid=14754 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14820/stat : 14820 (java) S 14754 14757 7954 0 -1 1077944384 180 12566 0 0 2 1 8 3 20 0 20 0 6000037 11185942528 73675 33554432000 4194304 4196468 140732629793168 139977024322448 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14821] ppid=14754 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14821/stat : 14821 (java) S 14754 14757 7954 0 -1 1077944384 779 12566 0 0 2 0 8 3 20 0 20 0 6000039 11185942528 73675 33554432000 4194304 4196468 140732629793168 139976190658800 139977424697986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14822] ppid=14754 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14822/stat : 14822 (java) S 14754 14757 7954 0 -1 1077944384 56 12566 0 0 0 0 8 3 20 0 20 0 6000039 11185942528 73675 33554432000 4194304 4196468 140732629793168 139976189605088 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14823] ppid=14754 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14823/stat : 14823 (java) S 14754 14757 7954 0 -1 1077944384 45 12566 0 0 0 0 8 3 20 0 20 0 6000040 11185942528 73675 33554432000 4194304 4196468 140732629793168 139976188551936 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14824] ppid=14754 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14824/stat : 14824 (java) S 14754 14757 7954 0 -1 1077944384 1 12566 0 0 0 0 8 3 20 0 20 0 6000043 11185942528 73675 33554432000 4194304 4196468 140732629793168 139976187500496 139977424705435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14825] ppid=14754 vsize=10923772 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14825/stat : 14825 (java) R 14754 14757 7954 0 -1 4202560 2214 12566 0 0 59 0 8 3 20 0 20 0 6000043 11185942528 73675 33554432000 4194304 4196468 140732629793168 139976186441816 139977404102949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14826] ppid=14754 vsize=10923772 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14826/stat : 14826 (java) R 14754 14757 7954 0 -1 4202560 2345 12566 0 0 71 0 8 3 20 0 20 0 6000043 11185942528 73675 33554432000 4194304 4196468 140732629793168 139976185382176 139977406232187 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14827] ppid=14754 vsize=10923772 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14827/stat : 14827 (java) R 14754 14757 7954 0 -1 4202560 2198 12566 0 0 60 1 8 3 20 0 20 0 6000043 11185942528 73675 33554432000 4194304 4196468 140732629793168 139976184333856 139977408187045 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14828] ppid=14754 vsize=10923772 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14828/stat : 14828 (java) S 14754 14757 7954 0 -1 1077944384 3780 12566 0 0 104 1 8 3 20 0 20 0 6000043 11185942528 73675 33554432000 4194304 4196468 140732629793168 139976183290480 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14829] ppid=14754 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14829/stat : 14829 (java) S 14754 14757 7954 0 -1 1077944384 3 12566 0 0 0 0 8 3 20 0 20 0 6000044 11185942528 73675 33554432000 4194304 4196468 140732629793168 139976182237664 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14830] ppid=14754 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14830/stat : 14830 (java) S 14754 14757 7954 0 -1 1077944384 4 12566 0 0 0 0 8 3 20 0 20 0 6000044 11185942528 73675 33554432000 4194304 4196468 140732629793168 139976181185200 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 10923772

[startup+6.3009 s]
/proc/loadavg: 1.95 2.40 2.60 4/281 14830
/proc/meminfo: memFree=27942876/32770624 swapFree=5788/294956
[pid=14757] ppid=14754 vsize=10923772 CPUtime=10.68 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (java) S 14754 14757 7954 0 -1 1077944320 40811 12566 0 0 1005 52 8 3 20 0 20 0 6000024 11185942528 85482 33554432000 4194304 4196468 140732629793168 140732629775712 139977424686839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
/proc/14757/statm: 2730943 85482 3497 1 0 2718498 0
[pid=14757/tid=14812] ppid=14754 vsize=10923772 CPUtime=6.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14812/stat : 14812 (java) R 14754 14757 7954 0 -1 4202560 24473 12566 0 0 594 7 8 3 20 0 20 0 6000036 11185942528 85482 33554432000 4194304 4196468 140732629793168 139977428919800 139977037044484 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14813] ppid=14754 vsize=10923772 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14813/stat : 14813 (java) S 14754 14757 7954 0 -1 1077944384 88 12566 0 0 4 4 8 3 20 0 20 0 6000037 11185942528 85482 33554432000 4194304 4196468 140732629793168 139977350760976 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14814] ppid=14754 vsize=10923772 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14814/stat : 14814 (java) S 14754 14757 7954 0 -1 1077944384 83 12566 0 0 5 4 8 3 20 0 20 0 6000037 11185942528 85482 33554432000 4194304 4196468 140732629793168 139977349708432 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14815] ppid=14754 vsize=10923772 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14815/stat : 14815 (java) S 14754 14757 7954 0 -1 1077944384 100 12566 0 0 4 4 8 3 20 0 20 0 6000037 11185942528 85482 33554432000 4194304 4196468 140732629793168 139977348655376 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14816] ppid=14754 vsize=10923772 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14816/stat : 14816 (java) S 14754 14757 7954 0 -1 1077944384 225 12566 0 0 5 4 8 3 20 0 20 0 6000037 11185942528 85482 33554432000 4194304 4196468 140732629793168 139977347602832 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14817] ppid=14754 vsize=10923772 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14817/stat : 14817 (java) S 14754 14757 7954 0 -1 1077944384 97 12566 0 0 5 4 8 3 20 0 20 0 6000037 11185942528 85482 33554432000 4194304 4196468 140732629793168 139977027480592 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14818] ppid=14754 vsize=10923772 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14818/stat : 14818 (java) S 14754 14757 7954 0 -1 1077944384 85 12566 0 0 5 4 8 3 20 0 20 0 6000037 11185942528 85482 33554432000 4194304 4196468 140732629793168 139977026428048 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14819] ppid=14754 vsize=10923772 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14819/stat : 14819 (java) S 14754 14757 7954 0 -1 1077944384 72 12566 0 0 5 4 8 3 20 0 20 0 6000037 11185942528 85482 33554432000 4194304 4196468 140732629793168 139977025374992 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14820] ppid=14754 vsize=10923772 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14820/stat : 14820 (java) S 14754 14757 7954 0 -1 1077944384 245 12566 0 0 5 4 8 3 20 0 20 0 6000037 11185942528 85482 33554432000 4194304 4196468 140732629793168 139977024322448 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14821] ppid=14754 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14821/stat : 14821 (java) S 14754 14757 7954 0 -1 1077944384 848 12566 0 0 2 0 8 3 20 0 20 0 6000039 11185942528 85482 33554432000 4194304 4196468 140732629793168 139976190658800 139977424697986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14822] ppid=14754 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14822/stat : 14822 (java) S 14754 14757 7954 0 -1 1077944384 56 12566 0 0 0 0 8 3 20 0 20 0 6000039 11185942528 85482 33554432000 4194304 4196468 140732629793168 139976189605088 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14823] ppid=14754 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14823/stat : 14823 (java) S 14754 14757 7954 0 -1 1077944384 45 12566 0 0 0 0 8 3 20 0 20 0 6000040 11185942528 85482 33554432000 4194304 4196468 140732629793168 139976188551936 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14824] ppid=14754 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14824/stat : 14824 (java) S 14754 14757 7954 0 -1 1077944384 1 12566 0 0 0 0 8 3 20 0 20 0 6000043 11185942528 85482 33554432000 4194304 4196468 140732629793168 139976187500496 139977424705435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14825] ppid=14754 vsize=10923772 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14825/stat : 14825 (java) S 14754 14757 7954 0 -1 1077944384 2629 12566 0 0 82 0 8 3 20 0 20 0 6000043 11185942528 85482 33554432000 4194304 4196468 140732629793168 139976186448624 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14826] ppid=14754 vsize=10923772 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14826/stat : 14826 (java) S 14754 14757 7954 0 -1 1077944384 2539 12566 0 0 93 1 8 3 20 0 20 0 6000043 11185942528 85482 33554432000 4194304 4196468 140732629793168 139976185396080 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14827] ppid=14754 vsize=10923772 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14827/stat : 14827 (java) S 14754 14757 7954 0 -1 1077944384 2375 12566 0 0 77 1 8 3 20 0 20 0 6000043 11185942528 85482 33554432000 4194304 4196468 140732629793168 139976184343024 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14828] ppid=14754 vsize=10923772 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14828/stat : 14828 (java) S 14754 14757 7954 0 -1 1077944384 4251 12566 0 0 113 1 8 3 20 0 20 0 6000043 11185942528 85482 33554432000 4194304 4196468 140732629793168 139976183290480 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14829] ppid=14754 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14

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

/proc/14757/task/14824/stat : 14824 (java) S 14754 14757 7954 0 -1 1077944384 1 12566 0 0 0 0 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976187500496 139977424705435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14825] ppid=14754 vsize=10995452 CPUtime=3.95 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14825/stat : 14825 (java) S 14754 14757 7954 0 -1 1077944384 16037 12566 0 0 382 2 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976186448624 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14826] ppid=14754 vsize=10995452 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14826/stat : 14826 (java) S 14754 14757 7954 0 -1 1077944384 11048 12566 0 0 330 2 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976185396080 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14827] ppid=14754 vsize=10995452 CPUtime=3.88 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14827/stat : 14827 (java) S 14754 14757 7954 0 -1 1077944384 11536 12566 0 0 374 3 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976184343024 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14828] ppid=14754 vsize=10995452 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14828/stat : 14828 (java) S 14754 14757 7954 0 -1 1077944384 26356 12566 0 0 226 4 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976183290480 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14829] ppid=14754 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14829/stat : 14829 (java) S 14754 14757 7954 0 -1 1077944384 3 12566 0 0 0 0 8 3 20 0 20 0 6000044 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976182237664 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14830] ppid=14754 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14830/stat : 14830 (java) S 14754 14757 7954 0 -1 1077944384 1001 12566 0 0 7 5 8 3 20 0 20 0 6000044 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976181185200 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
Current children cumulated CPU time (s) 264.91
Current children cumulated vsize (KiB) 10995452

[startup+233.601 s]
/proc/loadavg: 1.82 2.00 2.39 10/282 14842
/proc/meminfo: memFree=24960388/32770624 swapFree=5788/295188
[pid=14757] ppid=14754 vsize=10995452 CPUtime=277.38 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (java) S 14754 14757 7954 0 -1 1077944320 178957 12566 0 0 27175 552 8 3 20 0 20 0 6000024 11259342848 806805 33554432000 4194304 4196468 140732629793168 140732629775712 139977424686839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
/proc/14757/statm: 2748863 806805 3515 1 0 2736418 0
[pid=14757/tid=14812] ppid=14754 vsize=10995452 CPUtime=228.75 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14812/stat : 14812 (java) S 14754 14757 7954 0 -1 1077944384 79911 12566 0 0 22824 40 8 3 20 0 20 0 6000036 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977428924512 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14813] ppid=14754 vsize=10995452 CPUtime=4.49 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14813/stat : 14813 (java) R 14754 14757 7954 0 -1 4202560 1062 12566 0 0 375 63 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977350761176 139977406283299 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14814] ppid=14754 vsize=10995452 CPUtime=4.48 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14814/stat : 14814 (java) R 14754 14757 7954 0 -1 4202560 1771 12566 0 0 376 61 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977349708632 139977409672135 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14815] ppid=14754 vsize=10995452 CPUtime=4.56 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14815/stat : 14815 (java) R 14754 14757 7954 0 -1 4202560 902 12566 0 0 384 61 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977348655576 139977406283331 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14816] ppid=14754 vsize=10995452 CPUtime=4.45 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14816/stat : 14816 (java) R 14754 14757 7954 0 -1 4202560 1688 12566 0 0 371 63 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977347602720 139977409637459 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14817] ppid=14754 vsize=10995452 CPUtime=4.5 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14817/stat : 14817 (java) R 14754 14757 7954 0 -1 4202560 2170 12566 0 0 377 62 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977027480792 139977406283364 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14818] ppid=14754 vsize=10995452 CPUtime=4.44 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14818/stat : 14818 (java) R 14754 14757 7954 0 -1 4202560 2819 12566 0 0 372 61 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977026428248 139977409384478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14819] ppid=14754 vsize=10995452 CPUtime=4.37 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14819/stat : 14819 (java) R 14754 14757 7954 0 -1 4202560 2982 12566 0 0 369 57 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977025375192 139977406283347 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14820] ppid=14754 vsize=10995452 CPUtime=4.49 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14820/stat : 14820 (java) R 14754 14757 7954 0 -1 4202560 1600 12566 0 0 379 59 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977024322648 139977409672135 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14821] ppid=14754 vsize=10995452 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14821/stat : 14821 (java) S 14754 14757 7954 0 -1 1077944384 15799 12566 0 0 18 2 8 3 20 0 20 0 6000039 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976190657200 139977424697045 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14822] ppid=14754 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14822/stat : 14822 (java) S 14754 14757 7954 0 -1 1077944384 72 12566 0 0 0 0 8 3 20 0 20 0 6000039 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976189605056 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14823] ppid=14754 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14823/stat : 14823 (java) S 14754 14757 7954 0 -1 1077944384 69 12566 0 0 1 0 8 3 20 0 20 0 6000040 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976188551936 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14824] ppid=14754 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14824/stat : 14824 (java) S 14754 14757 7954 0 -1 1077944384 1 12566 0 0 0 0 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976187500496 139977424705435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14825] ppid=14754 vsize=10995452 CPUtime=3.95 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14825/stat : 14825 (java) S 14754 14757 7954 0 -1 1077944384 16037 12566 0 0 382 2 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976186448624 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14826] ppid=14754 vsize=10995452 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14826/stat : 14826 (java) S 14754 14757 7954 0 -1 1077944384 11048 12566 0 0 330 2 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976185396080 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14827] ppid=14754 vsize=10995452 CPUtime=3.88 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14827/stat : 14827 (java) S 14754 14757 7954 0 -1 1077944384 11536 12566 0 0 374 3 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976184343024 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14828] ppid=14754 vsize=10995452 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14828/stat : 14828 (java) S 14754 14757 7954 0 -1 1077944384 26356 12566 0 0 226 4 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976183290480 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14829] ppid=14754 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14829/stat : 14829 (java) S 14754 14757 7954 0 -1 1077944384 3 12566 0 0 0 0 8 3 20 0 20 0 6000044 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976182237664 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14830] ppid=14754 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14830/stat : 14830 (java) S 14754 14757 7954 0 -1 1077944384 1001 12566 0 0 7 5 8 3 20 0 20 0 6000044 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976181185200 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
Current children cumulated CPU time (s) 277.38
Current children cumulated vsize (KiB) 10995452

[startup+234.413 s]
/proc/loadavg: 1.82 2.00 2.39 17/282 14842
/proc/meminfo: memFree=24876296/32770624 swapFree=5788/295188
[pid=14757] ppid=14754 vsize=10995452 CPUtime=283.44 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (java) S 14754 14757 7954 0 -1 1077944320 179006 12566 0 0 27780 553 8 3 20 0 20 0 6000024 11259342848 806805 33554432000 4194304 4196468 140732629793168 140732629775712 139977424686839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
/proc/14757/statm: 2748863 806805 3515 1 0 2736418 0
[pid=14757/tid=14812] ppid=14754 vsize=10995452 CPUtime=228.75 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14812/stat : 14812 (java) S 14754 14757 7954 0 -1 1077944384 79913 12566 0 0 22824 40 8 3 20 0 20 0 6000036 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977428924512 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14813] ppid=14754 vsize=10995452 CPUtime=5.23 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14813/stat : 14813 (java) R 14754 14757 7954 0 -1 4202560 1066 12566 0 0 449 63 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977350761176 139977409683195 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14814] ppid=14754 vsize=10995452 CPUtime=5.23 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14814/stat : 14814 (java) R 14754 14757 7954 0 -1 4202560 1777 12566 0 0 451 61 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977349708320 139977409683240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14815] ppid=14754 vsize=10995452 CPUtime=5.29 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14815/stat : 14815 (java) R 14754 14757 7954 0 -1 4202560 910 12566 0 0 457 61 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977348655576 139977409144409 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14816] ppid=14754 vsize=10995452 CPUtime=5.2 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14816/stat : 14816 (java) R 14754 14757 7954 0 -1 4202560 1692 12566 0 0 446 63 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977347603032 139977409683240 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14817] ppid=14754 vsize=10995452 CPUtime=5.26 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14817/stat : 14817 (java) R 14754 14757 7954 0 -1 4202560 2173 12566 0 0 453 62 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977027480792 139977409385697 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14818] ppid=14754 vsize=10995452 CPUtime=5.2 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14818/stat : 14818 (java) R 14754 14757 7954 0 -1 4202560 2822 12566 0 0 448 61 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977026428248 139977409683332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14819] ppid=14754 vsize=10995452 CPUtime=5.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14819/stat : 14819 (java) R 14754 14757 7954 0 -1 4202560 2996 12566 0 0 444 57 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977025375192 139977406296585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14820] ppid=14754 vsize=10995452 CPUtime=5.24 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14820/stat : 14820 (java) R 14754 14757 7954 0 -1 4202560 1604 12566 0 0 454 59 8 3 20 0 20 0 6000037 11259342848 806805 33554432000 4194304 4196468 140732629793168 139977024322648 139977406296525 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14821] ppid=14754 vsize=10995452 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14821/stat : 14821 (java) S 14754 14757 7954 0 -1 1077944384 15799 12566 0 0 23 2 8 3 20 0 20 0 6000039 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976190657424 139977424697045 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14822] ppid=14754 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14822/stat : 14822 (java) S 14754 14757 7954 0 -1 1077944384 73 12566 0 0 0 0 8 3 20 0 20 0 6000039 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976189605136 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14823] ppid=14754 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14823/stat : 14823 (java) S 14754 14757 7954 0 -1 1077944384 69 12566 0 0 1 0 8 3 20 0 20 0 6000040 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976188551936 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14824] ppid=14754 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14824/stat : 14824 (java) S 14754 14757 7954 0 -1 1077944384 1 12566 0 0 0 0 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976187500496 139977424705435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14825] ppid=14754 vsize=10995452 CPUtime=3.95 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14825/stat : 14825 (java) S 14754 14757 7954 0 -1 1077944384 16037 12566 0 0 382 2 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976186448624 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14826] ppid=14754 vsize=10995452 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14826/stat : 14826 (java) S 14754 14757 7954 0 -1 1077944384 11048 12566 0 0 330 2 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976185396080 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14827] ppid=14754 vsize=10995452 CPUtime=3.88 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14827/stat : 14827 (java) S 14754 14757 7954 0 -1 1077944384 11536 12566 0 0 374 3 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976184343024 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14828] ppid=14754 vsize=10995452 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14828/stat : 14828 (java) S 14754 14757 7954 0 -1 1077944384 26356 12566 0 0 226 4 8 3 20 0 20 0 6000043 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976183290480 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14829] ppid=14754 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14829/stat : 14829 (java) S 14754 14757 7954 0 -1 1077944384 3 12566 0 0 0 0 8 3 20 0 20 0 6000044 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976182237664 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14830] ppid=14754 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14830/stat : 14830 (java) S 14754 14757 7954 0 -1 1077944384 1001 12566 0 0 7 5 8 3 20 0 20 0 6000044 11259342848 806805 33554432000 4194304 4196468 140732629793168 139976181185200 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
Current children cumulated CPU time (s) 283.44
Current children cumulated vsize (KiB) 10995452

[startup+234.801 s]
/proc/loadavg: 1.82 2.00 2.39 17/282 14842
/proc/meminfo: memFree=24876296/32770624 swapFree=5788/295188
[pid=14757] ppid=14754 vsize=10995452 CPUtime=286.39 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (java) S 14754 14757 7954 0 -1 1077944320 179108 12566 0 0 28075 553 8 3 20 0 20 0 6000024 11259342848 806854 33554432000 4194304 4196468 140732629793168 140732629775712 139977424686839 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
/proc/14757/statm: 2748863 806854 3515 1 0 2736418 0
[pid=14757/tid=14812] ppid=14754 vsize=10995452 CPUtime=228.75 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14812/stat : 14812 (java) S 14754 14757 7954 0 -1 1077944384 79914 12566 0 0 22824 40 8 3 20 0 20 0 6000036 11259342848 806854 33554432000 4194304 4196468 140732629793168 139977428924512 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14813] ppid=14754 vsize=10995452 CPUtime=5.6 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14813/stat : 14813 (java) R 14754 14757 7954 0 -1 4202560 1076 12566 0 0 486 63 8 3 20 0 20 0 6000037 11259342848 806854 33554432000 4194304 4196468 140732629793168 139977350761096 139977417315047 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14814] ppid=14754 vsize=10995452 CPUtime=5.6 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14814/stat : 14814 (java) R 14754 14757 7954 0 -1 4202560 1783 12566 0 0 488 61 8 3 20 0 20 0 6000037 11259342848 806854 33554432000 4194304 4196468 140732629793168 139977349708320 139977409385619 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14815] ppid=14754 vsize=10995452 CPUtime=5.66 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14815/stat : 14815 (java) R 14754 14757 7954 0 -1 4202560 918 12566 0 0 494 61 8 3 20 0 20 0 6000037 11259342848 806854 33554432000 4194304 4196468 140732629793168 139977348655576 139977409386088 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14816] ppid=14754 vsize=10995452 CPUtime=5.57 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14816/stat : 14816 (java) R 14754 14757 7954 0 -1 4202560 1697 12566 0 0 483 63 8 3 20 0 20 0 6000037 11259342848 806854 33554432000 4194304 4196468 140732629793168 139977347603032 139977406296603 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14817] ppid=14754 vsize=10995452 CPUtime=5.63 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14817/stat : 14817 (java) R 14754 14757 7954 0 -1 4202560 2179 12566 0 0 490 62 8 3 20 0 20 0 6000037 11259342848 806854 33554432000 4194304 4196468 140732629793168 139977027480792 139977409683246 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14818] ppid=14754 vsize=10995452 CPUtime=5.56 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14818/stat : 14818 (java) R 14754 14757 7954 0 -1 4202560 2879 12566 0 0 484 61 8 3 20 0 20 0 6000037 11259342848 806854 33554432000 4194304 4196468 140732629793168 139977026428248 139977409144442 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14819] ppid=14754 vsize=10995452 CPUtime=5.49 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14819/stat : 14819 (java) R 14754 14757 7954 0 -1 4202560 2996 12566 0 0 481 57 8 3 20 0 20 0 6000037 11259342848 806854 33554432000 4194304 4196468 140732629793168 139977025375192 139977409683392 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14820] ppid=14754 vsize=10995452 CPUtime=5.61 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14820/stat : 14820 (java) R 14754 14757 7954 0 -1 4202560 1613 12566 0 0 491 59 8 3 20 0 20 0 6000037 11259342848 806854 33554432000 4194304 4196468 140732629793168 139977024322648 139977409144416 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14821] ppid=14754 vsize=10995452 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14821/stat : 14821 (java) S 14754 14757 7954 0 -1 1077944384 15799 12566 0 0 25 2 8 3 20 0 20 0 6000039 11259342848 806854 33554432000 4194304 4196468 140732629793168 139976190657424 139977424697045 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14822] ppid=14754 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14822/stat : 14822 (java) S 14754 14757 7954 0 -1 1077944384 73 12566 0 0 0 0 8 3 20 0 20 0 6000039 11259342848 806854 33554432000 4194304 4196468 140732629793168 139976189605232 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14823] ppid=14754 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14823/stat : 14823 (java) S 14754 14757 7954 0 -1 1077944384 69 12566 0 0 1 0 8 3 20 0 20 0 6000040 11259342848 806854 33554432000 4194304 4196468 140732629793168 139976188551936 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14824] ppid=14754 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14824/stat : 14824 (java) S 14754 14757 7954 0 -1 1077944384 1 12566 0 0 0 0 8 3 20 0 20 0 6000043 11259342848 806854 33554432000 4194304 4196468 140732629793168 139976187500496 139977424705435 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14825] ppid=14754 vsize=10995452 CPUtime=3.95 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14825/stat : 14825 (java) S 14754 14757 7954 0 -1 1077944384 16037 12566 0 0 382 2 8 3 20 0 20 0 6000043 11259342848 806854 33554432000 4194304 4196468 140732629793168 139976186448624 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14826] ppid=14754 vsize=10995452 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14826/stat : 14826 (java) S 14754 14757 7954 0 -1 1077944384 11048 12566 0 0 330 2 8 3 20 0 20 0 6000043 11259342848 806854 33554432000 4194304 4196468 140732629793168 139976185396080 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14827] ppid=14754 vsize=10995452 CPUtime=3.88 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14827/stat : 14827 (java) S 14754 14757 7954 0 -1 1077944384 11536 12566 0 0 374 3 8 3 20 0 20 0 6000043 11259342848 806854 33554432000 4194304 4196468 140732629793168 139976184343024 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14828] ppid=14754 vsize=10995452 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14828/stat : 14828 (java) S 14754 14757 7954 0 -1 1077944384 26356 12566 0 0 226 4 8 3 20 0 20 0 6000043 11259342848 806854 33554432000 4194304 4196468 140732629793168 139976183290480 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14829] ppid=14754 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14829/stat : 14829 (java) S 14754 14757 7954 0 -1 1077944384 3 12566 0 0 0 0 8 3 20 0 20 0 6000044 11259342848 806854 33554432000 4194304 4196468 140732629793168 139976182237664 139977424697045 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
[pid=14757/tid=14830] ppid=14754 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14830/stat : 14830 (java) S 14754 14757 7954 0 -1 1077944384 1001 12566 0 0 7 5 8 3 20 0 20 0 6000044 11259342848 806854 33554432000 4194304 4196468 140732629793168 139976181185200 139977424697986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27652096 140732629801665 140732629804439 140732629804439 140732629807055 0
Current children cumulated CPU time (s) 286.39
Current children cumulated vsize (KiB) 10995452

[startup+234.901 s]
/proc/loadavg: 1.82 2.00 2.39 17/282 14842
/proc/meminfo: memFree=24876296/32770624 swapFree=5788/295188
[pid=14757] ppid=14754 vsize=0 CPUtime=286.72 cores=0,2,4,6,8,10,12,14
/proc/14757/stat : 14757 (java) Z 14754 14757 7954 0 -1 4227084 180605 12566 0 0 28107 554 8 3 20 0 2 0 6000024 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/14757/statm: 0 0 0 0 0 0 0
[pid=14757/tid=14828] ppid=14754 vsize=0 CPUtime=2.43 cores=0,2,4,6,8,10,12,14
/proc/14757/task/14828/stat : 14828 (java) R 14754 14757 7954 0 -1 4203588 26524 12566 0 0 227 5 8 3 20 0 2 0 6000043 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 286.72
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 234.919
CPU time (s): 286.749
CPU user time (s): 281.155
CPU system time (s): 5.59386
CPU usage (%): 122.063
Max. virtual memory (cumulated for all children) (KiB): 10997972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 281.155
system time used= 5.59386
maximum resident set size= 3228236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193171
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21123
involuntary context switches= 17195

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.66625 second user time and 2.02754 second system time

The end

Begin job on node128 at 2017-07-22 09:08:45
IDJOB=4245835
IDBENCH=123239
IDSOLVER=2630
FILE ID=node128/4245835-1500707325
RUNJOBID= node128-1500683681-7985
PBS_JOBID= 20623342
Free space on /tmp= 61996 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-1000-co.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245835-1500707325/watcher-4245835-1500707325 -o /tmp/evaluation-result-4245835-1500707325/solver-4245835-1500707325 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7985 --watchdog 2560  bin/concrete HOME/instance-4245835-1500707325.xml

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

MD5SUM BENCH= 747b40881cd41efe91eebad5da45ed52
RANDOM SEED=2132810726

node128.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		: 1867.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.12
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.54
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.12
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		: 2668.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.54
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		: 1867.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.12
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.54
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.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28297248 kB
MemAvailable:   28528556 kB
Buffers:          124788 kB
Cached:           388768 kB
SwapCached:            0 kB
Active:          3734036 kB
Inactive:         303444 kB
Active(anon):    3526984 kB
Inactive(anon):     8756 kB
Active(file):     207052 kB
Inactive(file):   294688 kB
Unevictable:        5788 kB
Mlocked:            5788 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24972 kB
Writeback:             0 kB
AnonPages:       3537356 kB
Mapped:            43768 kB
Shmem:              8844 kB
Slab:             125120 kB
SReclaimable:      90808 kB
SUnreclaim:        34312 kB
KernelStack:        4848 kB
PageTables:        12476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4151148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3276800 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= 61972 MiB
End job on node128 at 2017-07-22 09:12:41

Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-1000-co.xml
MD5SUM	747b40881cd41efe91eebad5da45ed52
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	14.8096
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	1002
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	1002
Maximum variable degree	1002
Distribution of variable degrees	[{"degree":1002,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":1002}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":1000}]
Optimization problem	NO
Type of objective

Trace number 4245835

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data