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

Solver Name	Answer	CPU time	Wall clock time
R1: OscaR - Conflict Ordering 2017-06-30	SAT	48.8891	9.79358

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-4245834-1500704218/watcher-4245834-1500704218 -o /tmp/evaluation-result-4245834-1500704218/solver-4245834-1500704218 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500683657-8761 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 313108002 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245834-1500704218.xml 

pid=14126
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: 2.08 1.62 1.59 3/261 14129
/proc/meminfo: memFree=31480436/32770624 swapFree=5788/281948
[pid=14129] ppid=14126 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/stat : 14129 (java) S 14126 14129 8730 0 -1 1077944320 1965 0 0 0 0 0 0 0 20 0 2 0 5690092 10889764864 1658 33554432000 4194304 4196468 140726475929408 140726475911952 140634109062903 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
/proc/14129/statm: 2658634 1724 1188 1 0 2647545 0
[pid=14129/tid=14130] ppid=14126 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14130/stat : 14130 (java) R 14126 14129 8730 0 -1 4202560 728 0 0 0 0 0 0 0 20 0 2 0 5690092 10889764864 1790 33554432000 4194304 4196468 140726475929408 140634113304992 140634101352276 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0

[startup+0.100166 s]
/proc/loadavg: 2.08 1.62 1.59 3/261 14129
/proc/meminfo: memFree=31480436/32770624 swapFree=5788/281948
[pid=14129] ppid=14126 vsize=13263912 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/14129/stat : 14129 (java) S 14126 14129 8730 0 -1 1077944320 6639 0 0 0 9 1 0 0 20 0 20 0 5690092 13582245888 7423 33554432000 4194304 4196468 140726475929408 140726475911952 140634109062903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
/proc/14129/statm: 3315978 7423 3391 1 0 3303698 0
[pid=14129/tid=14130] ppid=14126 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14130/stat : 14130 (java) R 14126 14129 8730 0 -1 4202560 4666 0 0 0 7 1 0 0 20 0 20 0 5690092 13582245888 7423 33554432000 4194304 4196468 140726475929408 140634113287504 140634109084829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912

[startup+0.200337 s]
/proc/loadavg: 2.08 1.62 1.59 3/261 14129
/proc/meminfo: memFree=31480436/32770624 swapFree=5788/281948
[pid=14129] ppid=14126 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/14129/stat : 14129 (java) S 14126 14129 8730 0 -1 1077944320 9030 0 0 0 24 2 0 0 20 0 20 0 5690092 13582245888 9917 33554432000 4194304 4196468 140726475929408 140726475911952 140634109062903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
/proc/14129/statm: 3315978 9917 3525 1 0 3303698 0
[pid=14129/tid=14130] ppid=14126 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14130/stat : 14130 (java) R 14126 14129 8730 0 -1 4202560 6717 0 0 0 16 2 0 0 20 0 20 0 5690092 13582245888 9917 33554432000 4194304 4196468 140726475929408 140634113264128 140634095307703 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300316 s]
/proc/loadavg: 2.08 1.62 1.59 3/261 14129
/proc/meminfo: memFree=31480436/32770624 swapFree=5788/281948
[pid=14129] ppid=14126 vsize=13263932 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/14129/stat : 14129 (java) S 14126 14129 8730 0 -1 1077944320 10186 0 0 0 43 3 0 0 20 0 20 0 5690092 13582266368 12401 33554432000 4194304 4196468 140726475929408 140726475911952 140634109062903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
/proc/14129/statm: 3315983 12401 3669 1 0 3303698 0
[pid=14129/tid=14130] ppid=14126 vsize=13263932 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14130/stat : 14130 (java) R 14126 14129 8730 0 -1 4202560 7281 0 0 0 25 2 0 0 20 0 20 0 5690092 13582266368 12401 33554432000 4194304 4196468 140726475929408 140634113300304 140634094430804 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13263932

[startup+0.700317 s]
/proc/loadavg: 2.08 1.62 1.59 3/261 14129
/proc/meminfo: memFree=31480436/32770624 swapFree=5788/281948
[pid=14129] ppid=14126 vsize=13265980 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/14129/stat : 14129 (java) S 14126 14129 8730 0 -1 1077944320 11819 0 0 0 135 5 0 0 20 0 20 0 5690092 13584363520 21810 33554432000 4194304 4196468 140726475929408 140726475911952 140634109062903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
/proc/14129/statm: 3316495 21810 3763 1 0 3304210 0
[pid=14129/tid=14130] ppid=14126 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14130/stat : 14130 (java) R 14126 14129 8730 0 -1 4202560 7987 0 0 0 64 3 0 0 20 0 20 0 5690092 13584363520 21810 33554432000 4194304 4196468 140726475929408 140634113296296 140633749106627 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 13265980

[startup+1.50109 s]
/proc/loadavg: 2.15 1.64 1.60 5/281 14149
/proc/meminfo: memFree=31312012/32770624 swapFree=5788/281896
[pid=14129] ppid=14126 vsize=13268028 CPUtime=3.9 cores=0,2,4,6,8,10,12,14
/proc/14129/stat : 14129 (java) S 14126 14129 8730 0 -1 1077944320 19861 0 0 0 346 44 0 0 20 0 20 0 5690092 13586460672 67734 33554432000 4194304 4196468 140726475929408 140726475911952 140634109062903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
/proc/14129/statm: 3317007 67734 3803 1 0 3304722 0
[pid=14129/tid=14130] ppid=14126 vsize=13268028 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14130/stat : 14130 (java) R 14126 14129 8730 0 -1 4202560 9436 0 0 0 132 5 0 0 20 0 20 0 5690092 13586460672 67734 33554432000 4194304 4196468 140726475929408 140634113297152 140633750904775 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14132] ppid=14126 vsize=13268028 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14132/stat : 14132 (java) S 14126 14129 8730 0 -1 1077944384 43 0 0 0 4 3 0 0 20 0 20 0 5690093 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633708022800 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14133] ppid=14126 vsize=13268028 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14133/stat : 14133 (java) S 14126 14129 8730 0 -1 1077944384 45 0 0 0 5 4 0 0 20 0 20 0 5690093 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633706970256 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14134] ppid=14126 vsize=13268028 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14134/stat : 14134 (java) S 14126 14129 8730 0 -1 1077944384 69 0 0 0 5 4 0 0 20 0 20 0 5690093 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633705917200 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14135] ppid=14126 vsize=13268028 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14135/stat : 14135 (java) S 14126 14129 8730 0 -1 1077944384 42 0 0 0 4 4 0 0 20 0 20 0 5690093 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633704864656 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14136] ppid=14126 vsize=13268028 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14136/stat : 14136 (java) S 14126 14129 8730 0 -1 1077944384 243 0 0 0 4 4 0 0 20 0 20 0 5690093 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633703811600 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14137] ppid=14126 vsize=13268028 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14137/stat : 14137 (java) S 14126 14129 8730 0 -1 1077944384 71 0 0 0 5 4 0 0 20 0 20 0 5690093 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633702759056 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14138] ppid=14126 vsize=13268028 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14138/stat : 14138 (java) S 14126 14129 8730 0 -1 1077944384 49 0 0 0 5 5 0 0 20 0 20 0 5690093 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633701706000 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14139] ppid=14126 vsize=13268028 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14139/stat : 14139 (java) S 14126 14129 8730 0 -1 1077944384 63 0 0 0 5 3 0 0 20 0 20 0 5690093 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633700653456 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14140] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14140/stat : 14140 (java) S 14126 14129 8730 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 20 0 5690095 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633303845616 140634109074050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14141] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14141/stat : 14141 (java) S 14126 14129 8730 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5690096 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633302791904 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14142] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14142/stat : 14142 (java) S 14126 14129 8730 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 5690096 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633301738752 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14143] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14143/stat : 14143 (java) S 14126 14129 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633300687312 140634109081499 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14144] ppid=14126 vsize=13268028 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14144/stat : 14144 (java) S 14126 14129 8730 0 -1 1077944384 2011 0 0 0 39 0 0 0 20 0 20 0 5690099 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633299634416 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14145] ppid=14126 vsize=13268028 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14145/stat : 14145 (java) S 14126 14129 8730 0 -1 1077944384 1555 0 0 0 38 0 0 0 20 0 20 0 5690099 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633298581872 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14146] ppid=14126 vsize=13268028 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14146/stat : 14146 (java) R 14126 14129 8730 0 -1 4202560 1783 0 0 0 42 0 0 0 20 0 20 0 5690099 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633297515008 140634109076790 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14147] ppid=14126 vsize=13268028 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14147/stat : 14147 (java) R 14126 14129 8730 0 -1 4202560 2812 0 0 0 53 0 0 0 20 0 20 0 5690099 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633296474064 140634090975412 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14148] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14148/stat : 14148 (java) S 14126 14129 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633295424480 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14149] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14149/stat : 14149 (java) S 14126 14129 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 67739 33554432000 4194304 4196468 140726475929408 140633294372016 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 13268028

[startup+3.10104 s]
/proc/loadavg: 2.15 1.64 1.60 3/281 14149
/proc/meminfo: memFree=31146588/32770624 swapFree=5788/281896
[pid=14129] ppid=14126 vsize=13268028 CPUtime=9.77 cores=0,2,4,6,8,10,12,14
/proc/14129/stat : 14129 (java) S 14126 14129 8730 0 -1 1077944320 31403 0 0 0 798 179 0 0 20 0 20 0 5690092 13586460672 166891 33554432000 4194304 4196468 140726475929408 140726475911952 140634109062903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
/proc/14129/statm: 3317007 166891 3821 1 0 3304722 0
[pid=14129/tid=14130] ppid=14126 vsize=13268028 CPUtime=2.54 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14130/stat : 14130 (java) S 14126 14129 8730 0 -1 1077944384 12043 0 0 0 247 7 0 0 20 0 20 0 5690092 13586460672 166891 33554432000 4194304 4196468 140726475929408 140634113296368 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14132] ppid=14126 vsize=13268028 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14132/stat : 14132 (java) R 14126 14129 8730 0 -1 4202560 225 0 0 0 28 20 0 0 20 0 20 0 5690093 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633708023000 140634090659914 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14133] ppid=14126 vsize=13268028 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14133/stat : 14133 (java) R 14126 14129 8730 0 -1 4202560 246 0 0 0 31 20 0 0 20 0 20 0 5690093 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633706970144 140634093760728 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14134] ppid=14126 vsize=13268028 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14134/stat : 14134 (java) R 14126 14129 8730 0 -1 4202560 772 0 0 0 26 23 0 0 20 0 20 0 5690093 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633705917400 140634090659914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14135] ppid=14126 vsize=13268028 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14135/stat : 14135 (java) R 14126 14129 8730 0 -1 4202560 272 0 0 0 27 20 0 0 20 0 20 0 5690093 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633704864856 140634093760542 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14136] ppid=14126 vsize=13268028 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14136/stat : 14136 (java) R 14126 14129 8730 0 -1 4202560 434 0 0 0 27 21 0 0 20 0 20 0 5690093 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633703811800 140634093760655 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14137] ppid=14126 vsize=13268028 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14137/stat : 14137 (java) R 14126 14129 8730 0 -1 4202560 256 0 0 0 28 20 0 0 20 0 20 0 5690093 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633702759256 140634090659379 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14138] ppid=14126 vsize=13268028 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14138/stat : 14138 (java) R 14126 14129 8730 0 -1 4202560 255 0 0 0 29 19 0 0 20 0 20 0 5690093 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633701706200 140634090659411 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14139] ppid=14126 vsize=13268028 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14139/stat : 14139 (java) R 14126 14129 8730 0 -1 4202560 497 0 0 0 31 19 0 0 20 0 20 0 5690093 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633700653656 140634093760655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14140] ppid=14126 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14140/stat : 14140 (java) S 14126 14129 8730 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 20 0 5690095 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633303843936 140634109073109 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14141] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14141/stat : 14141 (java) S 14126 14129 8730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5690096 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633302791904 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14142] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14142/stat : 14142 (java) S 14126 14129 8730 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 5690096 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633301738752 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14143] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14143/stat : 14143 (java) S 14126 14129 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633300687312 140634109081499 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14144] ppid=14126 vsize=13268028 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14144/stat : 14144 (java) S 14126 14129 8730 0 -1 1077944384 3418 0 0 0 83 0 0 0 20 0 20 0 5690099 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633299634416 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14145] ppid=14126 vsize=13268028 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14145/stat : 14145 (java) S 14126 14129 8730 0 -1 1077944384 2907 0 0 0 78 0 0 0 20 0 20 0 5690099 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633298581872 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14146] ppid=14126 vsize=13268028 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14146/stat : 14146 (java) S 14126 14129 8730 0 -1 1077944384 2625 0 0 0 82 0 0 0 20 0 20 0 5690099 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633297528816 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14147] ppid=14126 vsize=13268028 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14147/stat : 14147 (java) S 14126 14129 8730 0 -1 1077944384 5632 0 0 0 76 1 0 0 20 0 20 0 5690099 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633296476272 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14148] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14148/stat : 14148 (java) S 14126 14129 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633295424480 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14149] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14149/stat : 14149 (java) S 14126 14129 8730 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 166891 33554432000 4194304 4196468 140726475929408 140633294372016 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
Current children cumulated CPU time (s) 9.77
Current children cumulated vsize (KiB) 13268028

[startup+6.30096 s]
/proc/loadavg: 2.54 1.73 1.63 10/281 14149
/proc/meminfo: memFree=30231932/32770624 swapFree=5788/281908
[pid=14129] ppid=14126 vsize=13268028 CPUtime=31.01 cores=0,2,4,6,8,10,12,14
/proc/14129/stat : 14129 (java) S 14126 14129 8730 0 -1 1077944320 36037 0 0 0 2712 389 0 0 20 0 20 0 5690092 13586460672 327742 33554432000 4194304 4196468 140726475929408 140726475911952 140634109062903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
/proc/14129/statm: 3317007 327742 3832 1 0 3304722 0
[pid=14129/tid=14130] ppid=14126 vsize=13268028 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14130/stat : 14130 (java) S 14126 14129 8730 0 -1 1077944384 12159 0 0 0 290 10 0 0 20 0 20 0 5690092 13586460672 327742 33554432000 4194304 4196468 140726475929408 140634113295968 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14132] ppid=14126 vsize=13268028 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14132/stat : 14132 (java) R 14126 14129 8730 0 -1 4202560 635 0 0 0 261 46 0 0 20 0 20 0 5690093 13586460672 327742 33554432000 4194304 4196468 140726475929408 140633708022920 140634101691111 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14133] ppid=14126 vsize=13268028 CPUtime=3.1 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14133/stat : 14133 (java) R 14126 14129 8730 0 -1 4202560 690 0 0 0 265 45 0 0 20 0 20 0 5690093 13586460672 327742 33554432000 4194304 4196468 140726475929408 140633706970456 140634093763536 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14134] ppid=14126 vsize=13268028 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14134/stat : 14134 (java) R 14126 14129 8730 0 -1 4202560 1119 0 0 0 257 50 0 0 20 0 20 0 5690093 13586460672 327742 33554432000 4194304 4196468 140726475929408 140633705917320 140634101691111 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14135] ppid=14126 vsize=13268028 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14135/stat : 14135 (java) R 14126 14129 8730 0 -1 4202560 754 0 0 0 262 46 0 0 20 0 20 0 5690093 13586460672 327742 33554432000 4194304 4196468 140726475929408 140633704864776 140634101691111 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14136] ppid=14126 vsize=13268028 CPUtime=3 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14136/stat : 14136 (java) R 14126 14129 8730 0 -1 4202560 729 0 0 0 254 46 0 0 20 0 20 0 5690093 13586460672 327742 33554432000 4194304 4196468 140726475929408 140633703811720 140634101691111 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14137] ppid=14126 vsize=13268028 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14137/stat : 14137 (java) R 14126 14129 8730 0 -1 4202560 510 0 0 0 260 46 0 0 20 0 20 0 5690093 13586460672 327742 33554432000 4194304 4196468 140726475929408 140633702759176 140634101691111 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14138] ppid=14126 vsize=13268028 CPUtime=3.05 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14138/stat : 14138 (java) R 14126 14129 8730 0 -1 4202560 549 0 0 0 260 45 0 0 20 0 20 0 5690093 13586460672 327742 33554432000 4194304 4196468 140726475929408 140633701706120 140634094821720 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14139] ppid=14126 vsize=13268028 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14139/stat : 14139 (java) R 14126 14129 8730 0 -1 4202560 976 0 0 0 263 45 0 0 20 0 20 0 5690093 13586460672 327742 33554432000 4194304 4196468 140726475929408 140633700653576 140634101691111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14140] ppid=14126 vsize=13268028 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14140/stat : 14140 (java) S 14126 14129 8730 0 -1 1077944384 1829 0 0 0 12 0 0 0 20 0 20 0 5690095 13586460672 327742 33554432000 4194304 4196468 140726475929408 140633303844160 140634109073109 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14141] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14141/stat : 14141 (java) S 14126 14129 8730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5690096 13586460672 327742 33554432000 4194304 4196468 140726475929408 140633302791904 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14142] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14142/stat : 14142 (java) S 14126 14129 8730 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 5690096 13586460672 327742 33554432000 4194304 4196468 140726475929408 140633301738752 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14143] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=14129/tid=14138] ppid=14126 vsize=13268028 CPUtime=4.86 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14138/stat : 14138 (java) R 14126 14129 8730 0 -1 4202560 778 0 0 0 422 64 0 0 20 0 20 0 5690093 13586460672 397898 33554432000 4194304 4196468 140726475929408 140633701706200 140634094090786 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14139] ppid=14126 vsize=13268028 CPUtime=4.93 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14139/stat : 14139 (java) R 14126 14129 8730 0 -1 4202560 1169 0 0 0 427 66 0 0 20 0 20 0 5690093 13586460672 397898 33554432000 4194304 4196468 140726475929408 140633700653656 140634094088206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14140] ppid=14126 vsize=13268028 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14140/stat : 14140 (java) S 14126 14129 8730 0 -1 1077944384 3387 0 0 0 30 0 0 0 20 0 20 0 5690095 13586460672 397898 33554432000 4194304 4196468 140726475929408 140633303844128 140634109073109 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14141] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14141/stat : 14141 (java) S 14126 14129 8730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5690096 13586460672 397898 33554432000 4194304 4196468 140726475929408 140633302791904 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14142] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14142/stat : 14142 (java) S 14126 14129 8730 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 5690096 13586460672 397898 33554432000 4194304 4196468 140726475929408 140633301738752 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14143] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14143/stat : 14143 (java) S 14126 14129 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 398410 33554432000 4194304 4196468 140726475929408 140633300687312 140634109081499 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14144] ppid=14126 vsize=13268028 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14144/stat : 14144 (java) S 14126 14129 8730 0 -1 1077944384 3420 0 0 0 83 0 0 0 20 0 20 0 5690099 13586460672 398410 33554432000 4194304 4196468 140726475929408 140633299634416 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14145] ppid=14126 vsize=13268028 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14145/stat : 14145 (java) S 14126 14129 8730 0 -1 1077944384 3036 0 0 0 79 0 0 0 20 0 20 0 5690099 13586460672 398410 33554432000 4194304 4196468 140726475929408 140633298581872 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14146] ppid=14126 vsize=13268028 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14146/stat : 14146 (java) S 14126 14129 8730 0 -1 1077944384 2719 0 0 0 83 0 0 0 20 0 20 0 5690099 13586460672 398410 33554432000 4194304 4196468 140726475929408 140633297528816 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14147] ppid=14126 vsize=13268028 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14147/stat : 14147 (java) S 14126 14129 8730 0 -1 1077944384 5924 0 0 0 78 1 0 0 20 0 20 0 5690099 13586460672 398410 33554432000 4194304 4196468 140726475929408 140633296476272 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14148] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14148/stat : 14148 (java) S 14126 14129 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 398410 33554432000 4194304 4196468 140726475929408 140633295424480 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14149] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14149/stat : 14149 (java) S 14126 14129 8730 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 398410 33554432000 4194304 4196468 140726475929408 140633294372016 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
Current children cumulated CPU time (s) 46.32
Current children cumulated vsize (KiB) 13268028

[startup+9.20103 s]
/proc/loadavg: 2.54 1.73 1.63 10/281 14149
/proc/meminfo: memFree=29913944/32770624 swapFree=5788/281912
[pid=14129] ppid=14126 vsize=13268028 CPUtime=47.66 cores=0,2,4,6,8,10,12,14
/proc/14129/stat : 14129 (java) S 14126 14129 8730 0 -1 1077944320 45249 0 0 0 4192 574 0 0 20 0 20 0 5690092 13586460672 422433 33554432000 4194304 4196468 140726475929408 140726475911952 140634109062903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
/proc/14129/statm: 3317007 422433 3832 1 0 3304722 0
[pid=14129/tid=14130] ppid=14126 vsize=13268028 CPUtime=3.72 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14130/stat : 14130 (java) R 14126 14129 8730 0 -1 4202560 13903 0 0 0 362 10 0 0 20 0 20 0 5690092 13586460672 422433 33554432000 4194304 4196468 140726475929408 140634113295176 140633755582841 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14132] ppid=14126 vsize=13268028 CPUtime=5.03 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14132/stat : 14132 (java) S 14126 14129 8730 0 -1 1077944384 1279 0 0 0 434 69 0 0 20 0 20 0 5690093 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633708022800 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14133] ppid=14126 vsize=13268028 CPUtime=5.03 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14133/stat : 14133 (java) S 14126 14129 8730 0 -1 1077944384 977 0 0 0 436 67 0 0 20 0 20 0 5690093 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633706970256 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14134] ppid=14126 vsize=13268028 CPUtime=5.04 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14134/stat : 14134 (java) S 14126 14129 8730 0 -1 1077944384 1482 0 0 0 430 74 0 0 20 0 20 0 5690093 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633705917200 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14135] ppid=14126 vsize=13268028 CPUtime=5.03 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14135/stat : 14135 (java) S 14126 14129 8730 0 -1 1077944384 1044 0 0 0 433 70 0 0 20 0 20 0 5690093 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633704864656 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14136] ppid=14126 vsize=13268028 CPUtime=4.96 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14136/stat : 14136 (java) S 14126 14129 8730 0 -1 1077944384 1052 0 0 0 427 69 0 0 20 0 20 0 5690093 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633703811600 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14137] ppid=14126 vsize=13268028 CPUtime=5.02 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14137/stat : 14137 (java) S 14126 14129 8730 0 -1 1077944384 888 0 0 0 432 70 0 0 20 0 20 0 5690093 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633702759056 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14138] ppid=14126 vsize=13268028 CPUtime=4.97 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14138/stat : 14138 (java) S 14126 14129 8730 0 -1 1077944384 1259 0 0 0 430 67 0 0 20 0 20 0 5690093 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633701706000 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14139] ppid=14126 vsize=13268028 CPUtime=5.04 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14139/stat : 14139 (java) S 14126 14129 8730 0 -1 1077944384 1819 0 0 0 436 68 0 0 20 0 20 0 5690093 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633700653456 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14140] ppid=14126 vsize=13268028 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14140/stat : 14140 (java) S 14126 14129 8730 0 -1 1077944384 3593 0 0 0 30 0 0 0 20 0 20 0 5690095 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633303845616 140634109074050 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14141] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14141/stat : 14141 (java) S 14126 14129 8730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5690096 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633302791904 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14142] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14142/stat : 14142 (java) S 14126 14129 8730 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 5690096 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633301738752 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14143] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14143/stat : 14143 (java) S 14126 14129 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633300687312 140634109081499 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14144] ppid=14126 vsize=13268028 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14144/stat : 14144 (java) S 14126 14129 8730 0 -1 1077944384 3749 0 0 0 86 0 0 0 20 0 20 0 5690099 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633299634416 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14145] ppid=14126 vsize=13268028 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14145/stat : 14145 (java) S 14126 14129 8730 0 -1 1077944384 3434 0 0 0 82 0 0 0 20 0 20 0 5690099 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633298581872 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14146] ppid=14126 vsize=13268028 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14146/stat : 14146 (java) S 14126 14129 8730 0 -1 1077944384 3232 0 0 0 86 1 0 0 20 0 20 0 5690099 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633297528816 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14147] ppid=14126 vsize=13268028 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14147/stat : 14147 (java) S 14126 14129 8730 0 -1 1077944384 6088 0 0 0 80 1 0 0 20 0 20 0 5690099 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633296476272 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14148] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14148/stat : 14148 (java) S 14126 14129 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633295424480 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14149] ppid=14126 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14149/stat : 14149 (java) S 14126 14129 8730 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 5690099 13586460672 422433 33554432000 4194304 4196468 140726475929408 140633294372016 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
Current children cumulated CPU time (s) 47.66
Current children cumulated vsize (KiB) 13268028

[startup+9.601 s]
/proc/loadavg: 2.54 1.73 1.63 10/281 14149
/proc/meminfo: memFree=29913944/32770624 swapFree=5788/281912
[pid=14129] ppid=14126 vsize=13270076 CPUtime=48.32 cores=0,2,4,6,8,10,12,14
/proc/14129/stat : 14129 (java) S 14126 14129 8730 0 -1 1077944320 47679 0 0 0 4258 574 0 0 20 0 20 0 5690092 13588557824 422549 33554432000 4194304 4196468 140726475929408 140726475911952 140634109062903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
/proc/14129/statm: 3317519 422549 3837 1 0 3305234 0
[pid=14129/tid=14130] ppid=14126 vsize=13270076 CPUtime=4.13 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14130/stat : 14130 (java) R 14126 14129 8730 0 -1 4202560 14384 0 0 0 402 11 0 0 20 0 20 0 5690092 13588557824 422549 33554432000 4194304 4196468 140726475929408 140634113300392 140633756030993 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14132] ppid=14126 vsize=13270076 CPUtime=5.03 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14132/stat : 14132 (java) S 14126 14129 8730 0 -1 1077944384 1279 0 0 0 434 69 0 0 20 0 20 0 5690093 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633708022800 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14133] ppid=14126 vsize=13270076 CPUtime=5.03 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14133/stat : 14133 (java) S 14126 14129 8730 0 -1 1077944384 977 0 0 0 436 67 0 0 20 0 20 0 5690093 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633706970256 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14134] ppid=14126 vsize=13270076 CPUtime=5.04 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14134/stat : 14134 (java) S 14126 14129 8730 0 -1 1077944384 1482 0 0 0 430 74 0 0 20 0 20 0 5690093 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633705917200 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14135] ppid=14126 vsize=13270076 CPUtime=5.03 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14135/stat : 14135 (java) S 14126 14129 8730 0 -1 1077944384 1044 0 0 0 433 70 0 0 20 0 20 0 5690093 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633704864656 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14136] ppid=14126 vsize=13270076 CPUtime=4.96 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14136/stat : 14136 (java) S 14126 14129 8730 0 -1 1077944384 1052 0 0 0 427 69 0 0 20 0 20 0 5690093 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633703811600 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14137] ppid=14126 vsize=13270076 CPUtime=5.02 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14137/stat : 14137 (java) S 14126 14129 8730 0 -1 1077944384 888 0 0 0 432 70 0 0 20 0 20 0 5690093 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633702759056 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14138] ppid=14126 vsize=13270076 CPUtime=4.97 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14138/stat : 14138 (java) S 14126 14129 8730 0 -1 1077944384 1259 0 0 0 430 67 0 0 20 0 20 0 5690093 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633701706000 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14139] ppid=14126 vsize=13270076 CPUtime=5.04 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14139/stat : 14139 (java) S 14126 14129 8730 0 -1 1077944384 1819 0 0 0 436 68 0 0 20 0 20 0 5690093 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633700653456 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14140] ppid=14126 vsize=13270076 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14140/stat : 14140 (java) S 14126 14129 8730 0 -1 1077944384 3593 0 0 0 30 0 0 0 20 0 20 0 5690095 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633303845616 140634109074050 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14141] ppid=14126 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14141/stat : 14141 (java) S 14126 14129 8730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5690096 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633302791904 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14142] ppid=14126 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14142/stat : 14142 (java) S 14126 14129 8730 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 5690096 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633301738752 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14143] ppid=14126 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14143/stat : 14143 (java) S 14126 14129 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5690099 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633300687312 140634109081499 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14144] ppid=14126 vsize=13270076 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14144/stat : 14144 (java) S 14126 14129 8730 0 -1 1077944384 4218 0 0 0 92 1 0 0 20 0 20 0 5690099 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633299634416 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14145] ppid=14126 vsize=13270076 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14145/stat : 14145 (java) R 14126 14129 8730 0 -1 4202560 3739 0 0 0 91 0 0 0 20 0 20 0 5690099 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633298569200 140634089764048 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14146] ppid=14126 vsize=13270076 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14146/stat : 14146 (java) R 14126 14129 8730 0 -1 4202560 3615 0 0 0 94 1 0 0 20 0 20 0 5690099 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633297514688 140634095086455 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14147] ppid=14126 vsize=13270076 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14147/stat : 14147 (java) S 14126 14129 8730 0 -1 1077944384 6880 0 0 0 84 1 0 0 20 0 20 0 5690099 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633296476272 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14148] ppid=14126 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14148/stat : 14148 (java) S 14126 14129 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5690099 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633295424480 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14149] ppid=14126 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14149/stat : 14149 (java) S 14126 14129 8730 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 5690099 13588557824 422549 33554432000 4194304 4196468 140726475929408 140633294372016 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
Current children cumulated CPU time (s) 48.32
Current children cumulated vsize (KiB) 13270076

[startup+9.70105 s]
/proc/loadavg: 2.54 1.73 1.63 10/281 14149
/proc/meminfo: memFree=29913944/32770624 swapFree=5788/281912
[pid=14129] ppid=14126 vsize=13270076 CPUtime=48.71 cores=0,2,4,6,8,10,12,14
/proc/14129/stat : 14129 (java) S 14126 14129 8730 0 -1 1077944320 49287 0 0 0 4296 575 0 0 20 0 20 0 5690092 13588557824 422737 33554432000 4194304 4196468 140726475929408 140726475911952 140634109062903 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
/proc/14129/statm: 3317519 422737 3838 1 0 3305234 0
[pid=14129/tid=14130] ppid=14126 vsize=13270076 CPUtime=4.23 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14130/stat : 14130 (java) R 14126 14129 8730 0 -1 4202560 14398 0 0 0 412 11 0 0 20 0 20 0 5690092 13588557824 422737 33554432000 4194304 4196468 140726475929408 140634113301072 140633756031064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14132] ppid=14126 vsize=13270076 CPUtime=5.03 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14132/stat : 14132 (java) S 14126 14129 8730 0 -1 1077944384 1279 0 0 0 434 69 0 0 20 0 20 0 5690093 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633708022800 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14133] ppid=14126 vsize=13270076 CPUtime=5.03 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14133/stat : 14133 (java) S 14126 14129 8730 0 -1 1077944384 977 0 0 0 436 67 0 0 20 0 20 0 5690093 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633706970256 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14134] ppid=14126 vsize=13270076 CPUtime=5.04 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14134/stat : 14134 (java) S 14126 14129 8730 0 -1 1077944384 1482 0 0 0 430 74 0 0 20 0 20 0 5690093 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633705917200 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14135] ppid=14126 vsize=13270076 CPUtime=5.03 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14135/stat : 14135 (java) S 14126 14129 8730 0 -1 1077944384 1044 0 0 0 433 70 0 0 20 0 20 0 5690093 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633704864656 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14136] ppid=14126 vsize=13270076 CPUtime=4.96 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14136/stat : 14136 (java) S 14126 14129 8730 0 -1 1077944384 1052 0 0 0 427 69 0 0 20 0 20 0 5690093 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633703811600 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14137] ppid=14126 vsize=13270076 CPUtime=5.02 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14137/stat : 14137 (java) S 14126 14129 8730 0 -1 1077944384 888 0 0 0 432 70 0 0 20 0 20 0 5690093 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633702759056 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14138] ppid=14126 vsize=13270076 CPUtime=4.97 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14138/stat : 14138 (java) S 14126 14129 8730 0 -1 1077944384 1259 0 0 0 430 67 0 0 20 0 20 0 5690093 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633701706000 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14139] ppid=14126 vsize=13270076 CPUtime=5.04 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14139/stat : 14139 (java) S 14126 14129 8730 0 -1 1077944384 1819 0 0 0 436 68 0 0 20 0 20 0 5690093 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633700653456 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14140] ppid=14126 vsize=13270076 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14140/stat : 14140 (java) S 14126 14129 8730 0 -1 1077944384 4196 0 0 0 30 0 0 0 20 0 20 0 5690095 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633303845616 140634109074050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14141] ppid=14126 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14141/stat : 14141 (java) S 14126 14129 8730 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5690096 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633302791904 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14142] ppid=14126 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14142/stat : 14142 (java) S 14126 14129 8730 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 5690096 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633301738752 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14143] ppid=14126 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14143/stat : 14143 (java) S 14126 14129 8730 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5690099 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633300687312 140634109081499 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14144] ppid=14126 vsize=13270076 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14144/stat : 14144 (java) R 14126 14129 8730 0 -1 4202560 4327 0 0 0 99 1 0 0 20 0 20 0 5690099 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633299627520 140634094188272 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14145] ppid=14126 vsize=13270076 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14145/stat : 14145 (java) R 14126 14129 8730 0 -1 4202560 4404 0 0 0 100 0 0 0 20 0 20 0 5690099 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633298567776 140634090608501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14146] ppid=14126 vsize=13270076 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14146/stat : 14146 (java) R 14126 14129 8730 0 -1 4202560 3804 0 0 0 103 1 0 0 20 0 20 0 5690099 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633297515040 140634094178175 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14147] ppid=14126 vsize=13270076 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14147/stat : 14147 (java) S 14126 14129 8730 0 -1 1077944384 6908 0 0 0 85 1 0 0 20 0 20 0 5690099 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633296476272 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14148] ppid=14126 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14148/stat : 14148 (java) S 14126 14129 8730 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5690099 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633295424480 140634109073109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
[pid=14129/tid=14149] ppid=14126 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14129/task/14149/stat : 14149 (java) S 14126 14129 8730 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 5690099 13588557824 422737 33554432000 4194304 4196468 140726475929408 140633294372016 140634109074050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17453056 140726475936906 140726475937092 140726475937092 140726475939791 0
Current children cumulated CPU time (s) 48.71
Current children cumulated vsize (KiB) 13270076

Child status: 0
Real time (s): 9.79358
CPU time (s): 48.8891
CPU user time (s): 43.1212
CPU system time (s): 5.76791
CPU usage (%): 499.195
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.1212
system time used= 5.76791
maximum resident set size= 1692500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49674
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5475
involuntary context switches= 3522

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.081231 second user time and 0.129014 second system time

The end

Begin job on node120 at 2017-07-22 08:16:58
IDJOB=4245834
IDBENCH=123239
IDSOLVER=2628
FILE ID=node120/4245834-1500704218
RUNJOBID= node120-1500683657-8761
PBS_JOBID= 20623341
Free space on /tmp= 61956 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-1000-co.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245834-1500704218/watcher-4245834-1500704218 -o /tmp/evaluation-result-4245834-1500704218/solver-4245834-1500704218 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500683657-8761 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 313108002 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245834-1500704218.xml

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

MD5SUM BENCH= 747b40881cd41efe91eebad5da45ed52
RANDOM SEED=313108002

node120.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		: 1733.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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31480948 kB
MemAvailable:   31748664 kB
Buffers:          113724 kB
Cached:           436300 kB
SwapCached:            0 kB
Active:           566240 kB
Inactive:         290956 kB
Active(anon):     310236 kB
Inactive(anon):     8756 kB
Active(file):     256004 kB
Inactive(file):   282200 kB
Unevictable:        5788 kB
Mlocked:            5788 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42752 kB
Writeback:             0 kB
AnonPages:        304924 kB
Mapped:            45012 kB
Shmem:              8840 kB
Slab:             124772 kB
SReclaimable:      90696 kB
SUnreclaim:        34076 kB
KernelStack:        4480 kB
PageTables:         5776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1160608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61916 MiB
End job on node120 at 2017-07-22 08:17:08

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 4245834

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data