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	4.95372	2.39263

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-4245983-1500704794/watcher-4245983-1500704794 -o /tmp/evaluation-result-4245983-1500704794/solver-4245983-1500704794 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500683388-8490 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 652910919 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245983-1500704794.xml 

pid=12123
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.12 1.56 1.52 3/261 12126
/proc/meminfo: memFree=31551148/32770624 swapFree=5772/134248
[pid=12126] ppid=12123 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/stat : 12126 (java) S 12123 12126 7995 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 5746817 369864704 1925 33554432000 4194304 4196468 140721172168288 140721172150832 139737757368055 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
/proc/12126/statm: 90299 1925 1072 1 0 79210 0
[pid=12126/tid=12127] ppid=12123 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12127/stat : 12127 (java) S 12123 12126 7995 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 5746817 369864704 1925 33554432000 4194304 4196468 140721172168288 139737761610144 139737757379202 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0

[startup+0.100167 s]
/proc/loadavg: 2.12 1.56 1.52 3/261 12126
/proc/meminfo: memFree=31551148/32770624 swapFree=5772/134248
[pid=12126] ppid=12123 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/12126/stat : 12126 (java) S 12123 12126 7995 0 -1 1077944320 5511 0 0 0 8 1 0 0 20 0 20 0 5746817 13582725120 6114 33554432000 4194304 4196468 140721172168288 140721172150832 139737757368055 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
/proc/12126/statm: 3316095 6114 3303 1 0 3303815 0
[pid=12126/tid=12127] ppid=12123 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12127/stat : 12127 (java) R 12123 12126 7995 0 -1 4202560 3600 0 0 0 7 1 0 0 20 0 20 0 5746817 13582725120 6114 33554432000 4194304 4196468 140721172168288 139737761604784 139737757389981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200358 s]
/proc/loadavg: 2.12 1.56 1.52 3/261 12126
/proc/meminfo: memFree=31551148/32770624 swapFree=5772/134248
[pid=12126] ppid=12123 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/12126/stat : 12126 (java) S 12123 12126 7995 0 -1 1077944320 8732 0 0 0 24 2 0 0 20 0 20 0 5746817 13582245888 8748 33554432000 4194304 4196468 140721172168288 140721172150832 139737757368055 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
/proc/12126/statm: 3315978 8748 3567 1 0 3303698 0
[pid=12126/tid=12127] ppid=12123 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12127/stat : 12127 (java) R 12123 12126 7995 0 -1 4202560 6450 0 0 0 16 1 0 0 20 0 20 0 5746817 13582245888 8748 33554432000 4194304 4196468 140721172168288 139737761555968 139737757389981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300394 s]
/proc/loadavg: 2.12 1.56 1.52 3/261 12126
/proc/meminfo: memFree=31551148/32770624 swapFree=5772/134248
[pid=12126] ppid=12123 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/12126/stat : 12126 (java) S 12123 12126 7995 0 -1 1077944320 9773 0 0 0 39 3 0 0 20 0 20 0 5746817 13582245888 11055 33554432000 4194304 4196468 140721172168288 140721172150832 139737757368055 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
/proc/12126/statm: 3315978 11055 3619 1 0 3303698 0
[pid=12126/tid=12127] ppid=12123 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12127/stat : 12127 (java) R 12123 12126 7995 0 -1 4202560 7207 0 0 0 25 2 0 0 20 0 20 0 5746817 13582245888 11055 33554432000 4194304 4196468 140721172168288 139737761575424 139737741448542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700241 s]
/proc/loadavg: 2.12 1.56 1.52 3/261 12126
/proc/meminfo: memFree=31551148/32770624 swapFree=5772/134248
[pid=12126] ppid=12123 vsize=13265980 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/12126/stat : 12126 (java) S 12123 12126 7995 0 -1 1077944320 12695 0 0 0 140 5 0 0 20 0 20 0 5746817 13584363520 19087 33554432000 4194304 4196468 140721172168288 140721172150832 139737757368055 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
/proc/12126/statm: 3316495 19087 3765 1 0 3304210 0
[pid=12126/tid=12127] ppid=12123 vsize=13265980 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12127/stat : 12127 (java) R 12123 12126 7995 0 -1 4202560 8437 0 0 0 64 4 0 0 20 0 20 0 5746817 13584363520 19087 33554432000 4194304 4196468 140721172168288 139737761605184 139737385276543 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 13265980

[startup+1.50088 s]
/proc/loadavg: 2.12 1.56 1.52 7/281 12146
/proc/meminfo: memFree=31437852/32770624 swapFree=5772/134308
[pid=12126] ppid=12123 vsize=13268028 CPUtime=3.78 cores=0,2,4,6,8,10,12,14
/proc/12126/stat : 12126 (java) S 12123 12126 7995 0 -1 1077944320 26144 0 0 0 370 8 0 0 20 0 20 0 5746817 13586460672 43359 33554432000 4194304 4196468 140721172168288 140721172150832 139737757368055 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
/proc/12126/statm: 3317007 43359 3785 1 0 3304722 0
[pid=12126/tid=12127] ppid=12123 vsize=13268028 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12127/stat : 12127 (java) R 12123 12126 7995 0 -1 4202560 10823 0 0 0 142 5 0 0 20 0 20 0 5746817 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737761604504 139737388562511 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12129] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12129/stat : 12129 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737709988240 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12130] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12130/stat : 12130 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737708935440 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12131] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12131/stat : 12131 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737707883152 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12132] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12132/stat : 12132 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737706830352 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12133] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12133/stat : 12133 (java) S 12123 12126 7995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737705778064 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12134] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12134/stat : 12134 (java) S 12123 12126 7995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737704725264 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12135] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12135/stat : 12135 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737703672976 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12136] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12136/stat : 12136 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737702620176 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12137] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12137/stat : 12137 (java) S 12123 12126 7995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5746820 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737220204656 139737757379202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12138] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12138/stat : 12138 (java) S 12123 12126 7995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5746821 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737219150624 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12139] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12139/stat : 12139 (java) S 12123 12126 7995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5746821 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737218098288 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12140] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12140/stat : 12140 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746825 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737217046608 139737757386651 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12141] ppid=12123 vsize=13268028 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12141/stat : 12141 (java) S 12123 12126 7995 0 -1 1077944384 2311 0 0 0 55 0 0 0 20 0 20 0 5746825 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737215994480 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12142] ppid=12123 vsize=13268028 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12142/stat : 12142 (java) S 12123 12126 7995 0 -1 1077944384 2497 0 0 0 55 0 0 0 20 0 20 0 5746825 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737214941680 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12143] ppid=12123 vsize=13268028 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12143/stat : 12143 (java) S 12123 12126 7995 0 -1 1077944384 1489 0 0 0 55 0 0 0 20 0 20 0 5746825 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737213889392 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12144] ppid=12123 vsize=13268028 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12144/stat : 12144 (java) S 12123 12126 7995 0 -1 1077944384 7612 0 0 0 60 1 0 0 20 0 20 0 5746825 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737212836592 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12145] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12145/stat : 12145 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746826 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737211783520 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12146] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12146/stat : 12146 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746826 13586460672 43359 33554432000 4194304 4196468 140721172168288 139737210730800 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13268028

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

[startup+1.60108 s]
/proc/loadavg: 2.12 1.56 1.52 7/281 12146
/proc/meminfo: memFree=31437852/32770624 swapFree=5772/134308
[pid=12126] ppid=12123 vsize=13268028 CPUtime=3.88 cores=0,2,4,6,8,10,12,14
/proc/12126/stat : 12126 (java) S 12123 12126 7995 0 -1 1077944320 26149 0 0 0 380 8 0 0 20 0 20 0 5746817 13586460672 45407 33554432000 4194304 4196468 140721172168288 140721172150832 139737757368055 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
/proc/12126/statm: 3317007 45407 3785 1 0 3304722 0
[pid=12126/tid=12127] ppid=12123 vsize=13268028 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12127/stat : 12127 (java) R 12123 12126 7995 0 -1 4202560 10827 0 0 0 152 5 0 0 20 0 20 0 5746817 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737761603784 139737388708895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12129] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12129/stat : 12129 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737709988240 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12130] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12130/stat : 12130 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737708935440 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12131] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12131/stat : 12131 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737707883152 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12132] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12132/stat : 12132 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737706830352 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12133] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12133/stat : 12133 (java) S 12123 12126 7995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737705778064 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12134] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12134/stat : 12134 (java) S 12123 12126 7995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737704725264 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12135] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12135/stat : 12135 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737703672976 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12136] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12136/stat : 12136 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737702620176 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12137] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12137/stat : 12137 (java) S 12123 12126 7995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5746820 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737220204656 139737757379202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12138] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12138/stat : 12138 (java) S 12123 12126 7995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5746821 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737219150624 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12139] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12139/stat : 12139 (java) S 12123 12126 7995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5746821 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737218098288 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12140] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12140/stat : 12140 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746825 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737217046608 139737757386651 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12141] ppid=12123 vsize=13268028 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12141/stat : 12141 (java) S 12123 12126 7995 0 -1 1077944384 2312 0 0 0 55 0 0 0 20 0 20 0 5746825 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737215994480 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12142] ppid=12123 vsize=13268028 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12142/stat : 12142 (java) S 12123 12126 7995 0 -1 1077944384 2497 0 0 0 55 0 0 0 20 0 20 0 5746825 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737214941680 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12143] ppid=12123 vsize=13268028 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12143/stat : 12143 (java) S 12123 12126 7995 0 -1 1077944384 1489 0 0 0 55 0 0 0 20 0 20 0 5746825 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737213889392 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12144] ppid=12123 vsize=13268028 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12144/stat : 12144 (java) S 12123 12126 7995 0 -1 1077944384 7612 0 0 0 60 1 0 0 20 0 20 0 5746825 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737212836592 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12145] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12145/stat : 12145 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746826 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737211783520 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12146] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12146/stat : 12146 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746826 13586460672 45407 33554432000 4194304 4196468 140721172168288 139737210730800 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 13268028

[startup+2.00078 s]
/proc/loadavg: 2.12 1.56 1.52 7/281 12146
/proc/meminfo: memFree=31437852/32770624 swapFree=5772/134308
[pid=12126] ppid=12123 vsize=13268028 CPUtime=4.35 cores=0,2,4,6,8,10,12,14
/proc/12126/stat : 12126 (java) S 12123 12126 7995 0 -1 1077944320 27453 0 0 0 424 11 0 0 20 0 20 0 5746817 13586460672 55700 33554432000 4194304 4196468 140721172168288 140721172150832 139737757368055 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
/proc/12126/statm: 3317007 55700 3806 1 0 3304722 0
[pid=12126/tid=12127] ppid=12123 vsize=13268028 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12127/stat : 12127 (java) R 12123 12126 7995 0 -1 4202560 10901 0 0 0 190 5 0 0 20 0 20 0 5746817 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737761606232 139737382869223 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12129] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12129/stat : 12129 (java) S 12123 12126 7995 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737709988240 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12130] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12130/stat : 12130 (java) S 12123 12126 7995 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737708935440 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12131] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12131/stat : 12131 (java) S 12123 12126 7995 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737707883152 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12132] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12132/stat : 12132 (java) S 12123 12126 7995 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737706830352 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12133] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12133/stat : 12133 (java) S 12123 12126 7995 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737705778064 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12134] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12134/stat : 12134 (java) S 12123 12126 7995 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737704725264 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12135] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12135/stat : 12135 (java) S 12123 12126 7995 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737703672976 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12136] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12136/stat : 12136 (java) S 12123 12126 7995 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737702620176 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12137] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12137/stat : 12137 (java) S 12123 12126 7995 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 5746820 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737220204656 139737757379202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12138] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12138/stat : 12138 (java) S 12123 12126 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5746821 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737219150688 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12139] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12139/stat : 12139 (java) S 12123 12126 7995 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5746821 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737218098304 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12140] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12140/stat : 12140 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746825 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737217046608 139737757386651 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12141] ppid=12123 vsize=13268028 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12141/stat : 12141 (java) S 12123 12126 7995 0 -1 1077944384 2312 0 0 0 56 0 0 0 20 0 20 0 5746825 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737215994480 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12142] ppid=12123 vsize=13268028 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12142/stat : 12142 (java) S 12123 12126 7995 0 -1 1077944384 2499 0 0 0 55 0 0 0 20 0 20 0 5746825 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737214941680 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12143] ppid=12123 vsize=13268028 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12143/stat : 12143 (java) S 12123 12126 7995 0 -1 1077944384 1490 0 0 0 56 0 0 0 20 0 20 0 5746825 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737213889392 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12144] ppid=12123 vsize=13268028 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12144/stat : 12144 (java) S 12123 12126 7995 0 -1 1077944384 8349 0 0 0 60 1 0 0 20 0 20 0 5746825 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737212836592 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12145] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12145/stat : 12145 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746826 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737211783520 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12146] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12146/stat : 12146 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746826 13586460672 55700 33554432000 4194304 4196468 140721172168288 139737210730800 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 13268028

[startup+2.20118 s]
/proc/loadavg: 2.12 1.56 1.52 4/281 12146
/proc/meminfo: memFree=31343852/32770624 swapFree=5772/134288
[pid=12126] ppid=12123 vsize=13268028 CPUtime=4.6 cores=0,2,4,6,8,10,12,14
/proc/12126/stat : 12126 (java) S 12123 12126 7995 0 -1 1077944320 28156 0 0 0 449 11 0 0 20 0 20 0 5746817 13586460672 55740 33554432000 4194304 4196468 140721172168288 140721172150832 139737757368055 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
/proc/12126/statm: 3317007 55740 3807 1 0 3304722 0
[pid=12126/tid=12127] ppid=12123 vsize=13268028 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12127/stat : 12127 (java) R 12123 12126 7995 0 -1 4202560 11105 0 0 0 212 5 0 0 20 0 20 0 5746817 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737761604488 139737388936864 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12129] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12129/stat : 12129 (java) S 12123 12126 7995 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737709988240 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12130] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12130/stat : 12130 (java) S 12123 12126 7995 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737708935440 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12131] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12131/stat : 12131 (java) S 12123 12126 7995 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737707883152 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12132] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12132/stat : 12132 (java) S 12123 12126 7995 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737706830352 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12133] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12133/stat : 12133 (java) S 12123 12126 7995 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737705778064 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12134] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12134/stat : 12134 (java) S 12123 12126 7995 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737704725264 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12135] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12135/stat : 12135 (java) S 12123 12126 7995 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737703672976 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12136] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12136/stat : 12136 (java) S 12123 12126 7995 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737702620176 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12137] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12137/stat : 12137 (java) S 12123 12126 7995 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 5746820 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737220204656 139737757379202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12138] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12138/stat : 12138 (java) S 12123 12126 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5746821 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737219150688 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12139] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12139/stat : 12139 (java) S 12123 12126 7995 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5746821 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737218098304 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12140] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12140/stat : 12140 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746825 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737217046608 139737757386651 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12141] ppid=12123 vsize=13268028 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12141/stat : 12141 (java) S 12123 12126 7995 0 -1 1077944384 2317 0 0 0 56 0 0 0 20 0 20 0 5746825 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737215994480 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12142] ppid=12123 vsize=13268028 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12142/stat : 12142 (java) R 12123 12126 7995 0 -1 4202560 2627 0 0 0 56 0 0 0 20 0 20 0 5746825 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737214925008 139737742485229 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12143] ppid=12123 vsize=13268028 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12143/stat : 12143 (java) S 12123 12126 7995 0 -1 1077944384 1840 0 0 0 57 0 0 0 20 0 20 0 5746825 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737213889392 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12144] ppid=12123 vsize=13268028 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12144/stat : 12144 (java) S 12123 12126 7995 0 -1 1077944384 8351 0 0 0 60 1 0 0 20 0 20 0 5746825 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737212836592 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12145] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12145/stat : 12145 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746826 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737211783520 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12146] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12146/stat : 12146 (java) S 12123 12126 7995 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 5746826 13586460672 55740 33554432000 4194304 4196468 140721172168288 139737210730800 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 13268028

[startup+2.31488 s]
/proc/loadavg: 2.12 1.56 1.52 4/281 12146
/proc/meminfo: memFree=31343852/32770624 swapFree=5772/134288
[pid=12126] ppid=12123 vsize=13268028 CPUtime=4.86 cores=0,2,4,6,8,10,12,14
/proc/12126/stat : 12126 (java) S 12123 12126 7995 0 -1 1077944320 28348 0 0 0 475 11 0 0 20 0 20 0 5746817 13586460672 55752 33554432000 4194304 4196468 140721172168288 140721172150832 139737757368055 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
/proc/12126/statm: 3317007 55752 3807 1 0 3304722 0
[pid=12126/tid=12127] ppid=12123 vsize=13268028 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12127/stat : 12127 (java) R 12123 12126 7995 0 -1 4202560 11112 0 0 0 222 5 0 0 20 0 20 0 5746817 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737761604376 139737389066702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12129] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12129/stat : 12129 (java) S 12123 12126 7995 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737709988240 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12130] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12130/stat : 12130 (java) S 12123 12126 7995 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737708935440 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12131] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12131/stat : 12131 (java) S 12123 12126 7995 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737707883152 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12132] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12132/stat : 12132 (java) S 12123 12126 7995 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737706830352 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12133] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12133/stat : 12133 (java) S 12123 12126 7995 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737705778064 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12134] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12134/stat : 12134 (java) S 12123 12126 7995 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737704725264 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12135] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12135/stat : 12135 (java) S 12123 12126 7995 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737703672976 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12136] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12136/stat : 12136 (java) S 12123 12126 7995 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5746818 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737702620176 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12137] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12137/stat : 12137 (java) S 12123 12126 7995 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 5746820 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737220204656 139737757379202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12138] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12138/stat : 12138 (java) S 12123 12126 7995 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 5746821 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737219150688 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12139] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12139/stat : 12139 (java) S 12123 12126 7995 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5746821 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737218098304 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12140] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12140/stat : 12140 (java) S 12123 12126 7995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5746825 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737217046608 139737757386651 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12141] ppid=12123 vsize=13268028 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12141/stat : 12141 (java) S 12123 12126 7995 0 -1 1077944384 2338 0 0 0 60 0 0 0 20 0 20 0 5746825 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737215994480 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12142] ppid=12123 vsize=13268028 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12142/stat : 12142 (java) S 12123 12126 7995 0 -1 1077944384 2736 0 0 0 64 0 0 0 20 0 20 0 5746825 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737214941680 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12143] ppid=12123 vsize=13268028 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12143/stat : 12143 (java) S 12123 12126 7995 0 -1 1077944384 1895 0 0 0 62 0 0 0 20 0 20 0 5746825 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737213889392 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12144] ppid=12123 vsize=13268028 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12144/stat : 12144 (java) S 12123 12126 7995 0 -1 1077944384 8351 0 0 0 60 1 0 0 20 0 20 0 5746825 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737212836592 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12145] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12145/stat : 12145 (java) S 12123 12126 7995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5746826 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737211783520 139737757378261 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
[pid=12126/tid=12146] ppid=12123 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12126/task/12146/stat : 12146 (java) S 12123 12126 7995 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 5746826 13586460672 55752 33554432000 4194304 4196468 140721172168288 139737210730800 139737757379202 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29200384 140721172173962 140721172174148 140721172174148 140721172176847 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 13268028

Child status: 0
Real time (s): 2.39263
CPU time (s): 4.95372
CPU user time (s): 4.8295
CPU system time (s): 0.124221
CPU usage (%): 207.041
Max. virtual memory (cumulated for all children) (KiB): 13268028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.8295
system time used= 0.124221
maximum resident set size= 223652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3395
involuntary context switches= 370

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02101 second user time and 0.034712 second system time

The end

Begin job on node129 at 2017-07-22 08:26:34
IDJOB=4245983
IDBENCH=123645
IDSOLVER=2628
FILE ID=node129/4245983-1500704794
RUNJOBID= node129-1500683388-8490
PBS_JOBID= 20623036
Free space on /tmp= 61944 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/Sat/Sat-sum-flat200-479/Sat-flat200-13-sum.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-4245983-1500704794/watcher-4245983-1500704794 -o /tmp/evaluation-result-4245983-1500704794/solver-4245983-1500704794 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500683388-8490 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 652910919 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245983-1500704794.xml

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

MD5SUM BENCH= 9d400fd9505b31c2b1343f5ecc4e80ca
RANDOM SEED=652910919

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

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.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.96
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		: 1867.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.96
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
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.96
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		: 1867.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.96
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.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		: 2267.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.96
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:        31551620 kB
MemAvailable:   31716104 kB
Buffers:          147108 kB
Cached:           289452 kB
SwapCached:            0 kB
Active:           567432 kB
Inactive:         199172 kB
Active(anon):     277252 kB
Inactive(anon):    64924 kB
Active(file):     290180 kB
Inactive(file):   134248 kB
Unevictable:        5772 kB
Mlocked:            5772 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42160 kB
Writeback:             0 kB
AnonPages:        480128 kB
Mapped:            44992 kB
Shmem:              8844 kB
Slab:             145436 kB
SReclaimable:     111780 kB
SUnreclaim:        33656 kB
KernelStack:        4848 kB
PageTables:         6108 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1164548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    407552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61904 MiB
End job on node129 at 2017-07-22 08:26:37

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

Trace number 4245983

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data