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	9.60008	2.74617

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-4248053-1500734861/watcher-4248053-1500734861 -o /tmp/evaluation-result-4248053-1500734861/solver-4248053-1500734861 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500714400-18227 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 509575764 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248053-1500734861.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.79 1.72 3/262 24034
/proc/meminfo: memFree=28652312/32770624 swapFree=5892/167608
[pid=24034] ppid=24031 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/stat : 24034 (java) S 24031 24034 18196 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 8755751 369864704 1925 33554432000 4194304 4196468 140733637042144 140733637024688 140659359018743 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
/proc/24034/statm: 90299 1925 1072 1 0 79210 0
[pid=24034/tid=24035] ppid=24031 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24035/stat : 24035 (java) S 24031 24034 18196 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 8755751 369864704 1925 33554432000 4194304 4196468 140733637042144 140659363260832 140659359029890 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0

[startup+0.100092 s]
/proc/loadavg: 1.92 1.79 1.72 3/262 24034
/proc/meminfo: memFree=28652312/32770624 swapFree=5892/167608
[pid=24034] ppid=24031 vsize=13263912 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/24034/stat : 24034 (java) S 24031 24034 18196 0 -1 1077944320 6733 0 0 0 9 1 0 0 20 0 20 0 8755751 13582245888 7013 33554432000 4194304 4196468 140733637042144 140733637024688 140659359018743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
/proc/24034/statm: 3315978 7013 3390 1 0 3303698 0
[pid=24034/tid=24035] ppid=24031 vsize=13263912 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24035/stat : 24035 (java) R 24031 24034 18196 0 -1 4202560 4750 0 0 0 7 1 0 0 20 0 20 0 8755751 13582245888 7013 33554432000 4194304 4196468 140733637042144 140659363249040 140659343099230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912

[startup+0.200281 s]
/proc/loadavg: 1.92 1.79 1.72 3/262 24034
/proc/meminfo: memFree=28652312/32770624 swapFree=5892/167608
[pid=24034] ppid=24031 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/24034/stat : 24034 (java) S 24031 24034 18196 0 -1 1077944320 9102 0 0 0 24 2 0 0 20 0 20 0 8755751 13582245888 9469 33554432000 4194304 4196468 140733637042144 140733637024688 140659359018743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
/proc/24034/statm: 3315978 9469 3536 1 0 3303698 0
[pid=24034/tid=24035] ppid=24031 vsize=13263912 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24035/stat : 24035 (java) R 24031 24034 18196 0 -1 4202560 6783 0 0 0 16 1 0 0 20 0 20 0 8755751 13582245888 9469 33554432000 4194304 4196468 140733637042144 140659363210912 140659343099230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300322 s]
/proc/loadavg: 1.92 1.79 1.72 3/262 24034
/proc/meminfo: memFree=28652312/32770624 swapFree=5892/167608
[pid=24034] ppid=24031 vsize=13263932 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/24034/stat : 24034 (java) S 24031 24034 18196 0 -1 1077944320 10165 0 0 0 41 3 0 0 20 0 20 0 8755751 13582266368 11994 33554432000 4194304 4196468 140733637042144 140733637024688 140659359018743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
/proc/24034/statm: 3315983 11994 3708 1 0 3303698 0
[pid=24034/tid=24035] ppid=24031 vsize=13263932 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24035/stat : 24035 (java) D 24031 24034 18196 0 -1 1077944384 7456 0 0 0 26 2 0 0 20 0 20 0 8755751 13582266368 11994 33554432000 4194304 4196468 140733637042144 140659363226944 140659351697965 0 4 0 16800975 18446744072101604900 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13263932

[startup+0.700236 s]
/proc/loadavg: 1.92 1.79 1.72 3/262 24034
/proc/meminfo: memFree=28652312/32770624 swapFree=5892/167608
[pid=24034] ppid=24031 vsize=13265980 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/24034/stat : 24034 (java) S 24031 24034 18196 0 -1 1077944320 14063 0 0 0 145 4 0 0 20 0 20 0 8755751 13584363520 19950 33554432000 4194304 4196468 140733637042144 140733637024688 140659359018743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
/proc/24034/statm: 3316495 19950 3771 1 0 3304210 0
[pid=24034/tid=24035] ppid=24031 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24035/stat : 24035 (java) R 24031 24034 18196 0 -1 4202560 8537 0 0 0 65 2 0 0 20 0 20 0 8755751 13584363520 19950 33554432000 4194304 4196468 140733637042144 140659363253424 140658988899662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13265980

[startup+1.50233 s]
/proc/loadavg: 1.92 1.79 1.72 10/282 24054
/proc/meminfo: memFree=28402312/32770624 swapFree=5892/167640
[pid=24034] ppid=24031 vsize=13268028 CPUtime=4.73 cores=0,2,4,6,8,10,12,14
/proc/24034/stat : 24034 (java) S 24031 24034 18196 0 -1 1077944320 17362 0 0 0 322 151 0 0 20 0 20 0 8755751 13586460672 139898 33554432000 4194304 4196468 140733637042144 140733637024688 140659359018743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
/proc/24034/statm: 3317007 139898 3809 1 0 3304722 0
[pid=24034/tid=24035] ppid=24031 vsize=13268028 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24035/stat : 24035 (java) R 24031 24034 18196 0 -1 4202560 10095 0 0 0 111 7 0 0 20 0 20 0 8755751 13586460672 139898 33554432000 4194304 4196468 140733637042144 140659363254264 140658992358111 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24037] ppid=24031 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24037/stat : 24037 (java) S 24031 24034 18196 0 -1 1077944384 132 0 0 0 10 17 0 0 20 0 20 0 8755752 13586460672 139898 33554432000 4194304 4196468 140733637042144 140659311639440 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24038] ppid=24031 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24038/stat : 24038 (java) S 24031 24034 18196 0 -1 1077944384 144 0 0 0 9 18 0 0 20 0 20 0 8755752 13586460672 139898 33554432000 4194304 4196468 140733637042144 140659310586640 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24039] ppid=24031 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24039/stat : 24039 (java) S 24031 24034 18196 0 -1 1077944384 122 0 0 0 10 17 0 0 20 0 20 0 8755752 13586460672 139898 33554432000 4194304 4196468 140733637042144 140659309534352 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24040] ppid=24031 vsize=13268028 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24040/stat : 24040 (java) S 24031 24034 18196 0 -1 1077944384 125 0 0 0 12 16 0 0 20 0 20 0 8755752 13586460672 139898 33554432000 4194304 4196468 140733637042144 140659308481552 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24041] ppid=24031 vsize=13268028 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24041/stat : 24041 (java) S 24031 24034 18196 0 -1 1077944384 119 0 0 0 8 16 0 0 20 0 20 0 8755752 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658953615760 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24042] ppid=24031 vsize=13268028 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24042/stat : 24042 (java) S 24031 24034 18196 0 -1 1077944384 128 0 0 0 10 18 0 0 20 0 20 0 8755752 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658952562960 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24043] ppid=24031 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24043/stat : 24043 (java) S 24031 24034 18196 0 -1 1077944384 127 0 0 0 9 18 0 0 20 0 20 0 8755752 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658951510672 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24044] ppid=24031 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24044/stat : 24044 (java) S 24031 24034 18196 0 -1 1077944384 134 0 0 0 9 17 0 0 20 0 20 0 8755752 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658950457872 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24045] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24045/stat : 24045 (java) S 24031 24034 18196 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 20 0 8755754 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658822023792 140659359029890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24046] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24046/stat : 24046 (java) S 24031 24034 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8755755 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658820969824 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24047] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24047/stat : 24047 (java) S 24031 24034 18196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 8755755 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658819917424 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24048] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24048/stat : 24048 (java) S 24031 24034 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658818865744 140659359037339 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24049] ppid=24031 vsize=13268028 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24049/stat : 24049 (java) S 24031 24034 18196 0 -1 1077944384 1293 0 0 0 29 0 0 0 20 0 20 0 8755758 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658817812592 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24050] ppid=24031 vsize=13268028 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24050/stat : 24050 (java) S 24031 24034 18196 0 -1 1077944384 1250 0 0 0 29 0 0 0 20 0 20 0 8755758 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658816759792 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24051] ppid=24031 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24051/stat : 24051 (java) S 24031 24034 18196 0 -1 1077944384 532 0 0 0 27 0 0 0 20 0 20 0 8755758 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658815707504 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24052] ppid=24031 vsize=13268028 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24052/stat : 24052 (java) S 24031 24034 18196 0 -1 1077944384 1571 0 0 0 43 0 0 0 20 0 20 0 8755758 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658814654704 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24053] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24053/stat : 24053 (java) S 24031 24034 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658813602656 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24054] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24054/stat : 24054 (java) S 24031 24034 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 139898 33554432000 4194304 4196468 140733637042144 140658812549936 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 13268028

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

[startup+1.60146 s]
/proc/loadavg: 1.92 1.79 1.72 10/282 24054
/proc/meminfo: memFree=28402312/32770624 swapFree=5892/167640
[pid=24034] ppid=24031 vsize=13268028 CPUtime=4.92 cores=0,2,4,6,8,10,12,14
/proc/24034/stat : 24034 (java) S 24031 24034 18196 0 -1 1077944320 21177 0 0 0 340 152 0 0 20 0 20 0 8755751 13586460672 143719 33554432000 4194304 4196468 140733637042144 140733637024688 140659359018743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
/proc/24034/statm: 3317007 143719 3809 1 0 3304722 0
[pid=24034/tid=24035] ppid=24031 vsize=13268028 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24035/stat : 24035 (java) R 24031 24034 18196 0 -1 4202560 10095 0 0 0 121 7 0 0 20 0 20 0 8755751 13586460672 143719 33554432000 4194304 4196468 140733637042144 140659363252904 140658992246752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24037] ppid=24031 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24037/stat : 24037 (java) S 24031 24034 18196 0 -1 1077944384 132 0 0 0 10 17 0 0 20 0 20 0 8755752 13586460672 143719 33554432000 4194304 4196468 140733637042144 140659311639440 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24038] ppid=24031 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24038/stat : 24038 (java) S 24031 24034 18196 0 -1 1077944384 144 0 0 0 9 18 0 0 20 0 20 0 8755752 13586460672 143719 33554432000 4194304 4196468 140733637042144 140659310586640 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24039] ppid=24031 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24039/stat : 24039 (java) S 24031 24034 18196 0 -1 1077944384 122 0 0 0 10 17 0 0 20 0 20 0 8755752 13586460672 143719 33554432000 4194304 4196468 140733637042144 140659309534352 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24040] ppid=24031 vsize=13268028 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24040/stat : 24040 (java) S 24031 24034 18196 0 -1 1077944384 125 0 0 0 12 16 0 0 20 0 20 0 8755752 13586460672 143719 33554432000 4194304 4196468 140733637042144 140659308481552 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24041] ppid=24031 vsize=13268028 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24041/stat : 24041 (java) S 24031 24034 18196 0 -1 1077944384 119 0 0 0 8 16 0 0 20 0 20 0 8755752 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658953615760 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24042] ppid=24031 vsize=13268028 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24042/stat : 24042 (java) S 24031 24034 18196 0 -1 1077944384 128 0 0 0 10 18 0 0 20 0 20 0 8755752 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658952562960 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24043] ppid=24031 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24043/stat : 24043 (java) S 24031 24034 18196 0 -1 1077944384 127 0 0 0 9 18 0 0 20 0 20 0 8755752 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658951510672 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24044] ppid=24031 vsize=13268028 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24044/stat : 24044 (java) S 24031 24034 18196 0 -1 1077944384 134 0 0 0 9 17 0 0 20 0 20 0 8755752 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658950457872 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24045] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24045/stat : 24045 (java) S 24031 24034 18196 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 20 0 8755754 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658822023792 140659359029890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24046] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24046/stat : 24046 (java) S 24031 24034 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8755755 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658820969824 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24047] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24047/stat : 24047 (java) S 24031 24034 18196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 8755755 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658819917424 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24048] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24048/stat : 24048 (java) S 24031 24034 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658818865744 140659359037339 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24049] ppid=24031 vsize=13268028 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24049/stat : 24049 (java) S 24031 24034 18196 0 -1 1077944384 1293 0 0 0 29 0 0 0 20 0 20 0 8755758 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658817812592 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24050] ppid=24031 vsize=13268028 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24050/stat : 24050 (java) S 24031 24034 18196 0 -1 1077944384 1250 0 0 0 29 0 0 0 20 0 20 0 8755758 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658816759792 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24051] ppid=24031 vsize=13268028 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24051/stat : 24051 (java) S 24031 24034 18196 0 -1 1077944384 532 0 0 0 27 0 0 0 20 0 20 0 8755758 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658815707504 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24052] ppid=24031 vsize=13268028 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24052/stat : 24052 (java) R 24031 24034 18196 0 -1 4202560 5401 0 0 0 51 1 0 0 20 0 20 0 8755758 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658814651768 140659338438872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24053] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24053/stat : 24053 (java) S 24031 24034 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658813602656 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24054] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24054/stat : 24054 (java) S 24031 24034 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 143719 33554432000 4194304 4196468 140733637042144 140658812549936 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 13268028

[startup+2.40096 s]
/proc/loadavg: 1.92 1.79 1.72 6/282 24054
/proc/meminfo: memFree=27867656/32770624 swapFree=5892/167640
[pid=24034] ppid=24031 vsize=13268028 CPUtime=8.8 cores=0,2,4,6,8,10,12,14
/proc/24034/stat : 24034 (java) S 24031 24034 18196 0 -1 1077944320 23181 0 0 0 645 235 0 0 20 0 20 0 8755751 13586460672 223599 33554432000 4194304 4196468 140733637042144 140733637024688 140659359018743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
/proc/24034/statm: 3317007 223599 3821 1 0 3304722 0
[pid=24034/tid=24035] ppid=24031 vsize=13268028 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24035/stat : 24035 (java) R 24031 24034 18196 0 -1 4202560 10320 0 0 0 157 9 0 0 20 0 20 0 8755751 13586460672 223599 33554432000 4194304 4196468 140733637042144 140659363253568 140658992266126 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24037] ppid=24031 vsize=13268028 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24037/stat : 24037 (java) S 24031 24034 18196 0 -1 1077944384 237 0 0 0 39 27 0 0 20 0 20 0 8755752 13586460672 223599 33554432000 4194304 4196468 140733637042144 140659311639440 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24038] ppid=24031 vsize=13268028 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24038/stat : 24038 (java) S 24031 24034 18196 0 -1 1077944384 265 0 0 0 37 29 0 0 20 0 20 0 8755752 13586460672 223599 33554432000 4194304 4196468 140733637042144 140659310586640 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24039] ppid=24031 vsize=13268028 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24039/stat : 24039 (java) S 24031 24034 18196 0 -1 1077944384 253 0 0 0 38 27 0 0 20 0 20 0 8755752 13586460672 223599 33554432000 4194304 4196468 140733637042144 140659309534352 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24040] ppid=24031 vsize=13268028 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24040/stat : 24040 (java) S 24031 24034 18196 0 -1 1077944384 231 0 0 0 41 26 0 0 20 0 20 0 8755752 13586460672 223599 33554432000 4194304 4196468 140733637042144 140659308481552 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24041] ppid=24031 vsize=13268028 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24041/stat : 24041 (java) S 24031 24034 18196 0 -1 1077944384 288 0 0 0 37 26 0 0 20 0 20 0 8755752 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658953615760 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24042] ppid=24031 vsize=13268028 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24042/stat : 24042 (java) S 24031 24034 18196 0 -1 1077944384 227 0 0 0 38 28 0 0 20 0 20 0 8755752 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658952562960 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24043] ppid=24031 vsize=13268028 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24043/stat : 24043 (java) S 24031 24034 18196 0 -1 1077944384 251 0 0 0 39 27 0 0 20 0 20 0 8755752 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658951510672 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24044] ppid=24031 vsize=13268028 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24044/stat : 24044 (java) S 24031 24034 18196 0 -1 1077944384 263 0 0 0 38 27 0 0 20 0 20 0 8755752 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658950457872 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24045] ppid=24031 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24045/stat : 24045 (java) S 24031 24034 18196 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 20 0 8755754 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658822023792 140659359029890 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24046] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24046/stat : 24046 (java) S 24031 24034 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8755755 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658820969824 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24047] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24047/stat : 24047 (java) S 24031 24034 18196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 8755755 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658819917440 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24048] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24048/stat : 24048 (java) S 24031 24034 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658818865744 140659359037339 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24049] ppid=24031 vsize=13268028 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24049/stat : 24049 (java) R 24031 24034 18196 0 -1 4202560 1341 0 0 0 39 0 0 0 20 0 20 0 8755758 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658817800144 140659339716099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24050] ppid=24031 vsize=13268028 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24050/stat : 24050 (java) R 24031 24034 18196 0 -1 4202560 1402 0 0 0 39 0 0 0 20 0 20 0 8755758 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658816747424 140659337411008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24051] ppid=24031 vsize=13268028 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24051/stat : 24051 (java) R 24031 24034 18196 0 -1 4202560 637 0 0 0 36 0 0 0 20 0 20 0 8755758 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658815697424 140659338870884 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24052] ppid=24031 vsize=13268028 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24052/stat : 24052 (java) S 24031 24034 18196 0 -1 1077944384 5542 0 0 0 58 1 0 0 20 0 20 0 8755758 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658814654704 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24053] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24053/stat : 24053 (java) S 24031 24034 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658813602656 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24054] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24054/stat : 24054 (java) S 24031 24034 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 223599 33554432000 4194304 4196468 140733637042144 140658812549936 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
Current children cumulated CPU time (s) 8.8
Current children cumulated vsize (KiB) 13268028

[startup+2.6009 s]
/proc/loadavg: 1.92 1.79 1.72 6/282 24054
/proc/meminfo: memFree=27867656/32770624 swapFree=5892/167640
[pid=24034] ppid=24031 vsize=13268028 CPUtime=9.45 cores=0,2,4,6,8,10,12,14
/proc/24034/stat : 24034 (java) S 24031 24034 18196 0 -1 1077944320 23626 0 0 0 710 235 0 0 20 0 20 0 8755751 13586460672 229665 33554432000 4194304 4196468 140733637042144 140733637024688 140659359018743 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
/proc/24034/statm: 3317007 229665 3826 1 0 3304722 0
[pid=24034/tid=24035] ppid=24031 vsize=13268028 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24035/stat : 24035 (java) R 24031 24034 18196 0 -1 4202560 10335 0 0 0 177 9 0 0 20 0 20 0 8755751 13586460672 229665 33554432000 4194304 4196468 140733637042144 140659363255768 140658987861095 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24037] ppid=24031 vsize=13268028 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24037/stat : 24037 (java) S 24031 24034 18196 0 -1 1077944384 237 0 0 0 39 27 0 0 20 0 20 0 8755752 13586460672 229665 33554432000 4194304 4196468 140733637042144 140659311639440 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24038] ppid=24031 vsize=13268028 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24038/stat : 24038 (java) S 24031 24034 18196 0 -1 1077944384 265 0 0 0 37 29 0 0 20 0 20 0 8755752 13586460672 229665 33554432000 4194304 4196468 140733637042144 140659310586640 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24039] ppid=24031 vsize=13268028 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24039/stat : 24039 (java) S 24031 24034 18196 0 -1 1077944384 253 0 0 0 38 27 0 0 20 0 20 0 8755752 13586460672 229665 33554432000 4194304 4196468 140733637042144 140659309534352 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24040] ppid=24031 vsize=13268028 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24040/stat : 24040 (java) S 24031 24034 18196 0 -1 1077944384 231 0 0 0 41 26 0 0 20 0 20 0 8755752 13586460672 229665 33554432000 4194304 4196468 140733637042144 140659308481552 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24041] ppid=24031 vsize=13268028 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24041/stat : 24041 (java) S 24031 24034 18196 0 -1 1077944384 288 0 0 0 37 26 0 0 20 0 20 0 8755752 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658953615760 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24042] ppid=24031 vsize=13268028 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24042/stat : 24042 (java) S 24031 24034 18196 0 -1 1077944384 227 0 0 0 38 28 0 0 20 0 20 0 8755752 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658952562960 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24043] ppid=24031 vsize=13268028 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24043/stat : 24043 (java) S 24031 24034 18196 0 -1 1077944384 251 0 0 0 39 27 0 0 20 0 20 0 8755752 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658951510672 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24044] ppid=24031 vsize=13268028 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24044/stat : 24044 (java) S 24031 24034 18196 0 -1 1077944384 263 0 0 0 38 27 0 0 20 0 20 0 8755752 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658950457872 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24045] ppid=24031 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24045/stat : 24045 (java) S 24031 24034 18196 0 -1 1077944384 544 0 0 0 2 0 0 0 20 0 20 0 8755754 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658822023792 140659359029890 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24046] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24046/stat : 24046 (java) S 24031 24034 18196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 8755755 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658820969824 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24047] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24047/stat : 24047 (java) S 24031 24034 18196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 8755755 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658819917440 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24048] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24048/stat : 24048 (java) S 24031 24034 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658818865744 140659359037339 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24049] ppid=24031 vsize=13268028 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24049/stat : 24049 (java) R 24031 24034 18196 0 -1 4202560 1369 0 0 0 50 0 0 0 20 0 20 0 8755758 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658817798064 140659338257200 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24050] ppid=24031 vsize=13268028 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24050/stat : 24050 (java) R 24031 24034 18196 0 -1 4202560 1434 0 0 0 53 0 0 0 20 0 20 0 8755758 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658816746224 140659343408861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24051] ppid=24031 vsize=13268028 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24051/stat : 24051 (java) R 24031 24034 18196 0 -1 4202560 983 0 0 0 55 0 0 0 20 0 20 0 8755758 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658815688688 140659339719575 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24052] ppid=24031 vsize=13268028 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24052/stat : 24052 (java) S 24031 24034 18196 0 -1 1077944384 5566 0 0 0 61 1 0 0 20 0 20 0 8755758 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658814654704 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24053] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24053/stat : 24053 (java) S 24031 24034 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658813602656 140659359028949 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
[pid=24034/tid=24054] ppid=24031 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24054/stat : 24054 (java) S 24031 24034 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 8755758 13586460672 229665 33554432000 4194304 4196468 140733637042144 140658812549936 140659359029890 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18935808 140733637047434 140733637047620 140733637047620 140733637050319 0
Current children cumulated CPU time (s) 9.45
Current children cumulated vsize (KiB) 13268028

[startup+2.70131 s]
/proc/loadavg: 1.92 1.79 1.72 6/282 24054
/proc/meminfo: memFree=27867656/32770624 swapFree=5892/167640
[pid=24034] ppid=24031 vsize=0 CPUtime=9.59 cores=0,2,4,6,8,10,12,14
/proc/24034/stat : 24034 (java) Z 24031 24034 18196 0 -1 4227084 23992 0 0 0 722 237 0 0 20 0 2 0 8755751 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/24034/statm: 0 0 0 0 0 0 0
[pid=24034/tid=24049] ppid=24031 vsize=0 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/24034/task/24049/stat : 24049 (java) D 24031 24034 18196 0 -1 4203588 1422 0 0 0 54 1 0 0 20 0 2 0 8755758 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 12 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 2.74617
CPU time (s): 9.60008
CPU user time (s): 7.22921
CPU system time (s): 2.37087
CPU usage (%): 349.581
Max. virtual memory (cumulated for all children) (KiB): 13268028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.22921
system time used= 2.37087
maximum resident set size= 946052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23992
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= 3897
involuntary context switches= 704

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023623 second user time and 0.053689 second system time

The end

Begin job on node104 at 2017-07-22 16:47:41
IDJOB=4248053
IDBENCH=131533
IDSOLVER=2628
FILE ID=node104/4248053-1500734861
RUNJOBID= node104-1500714400-18227
PBS_JOBID= 20623354
Free space on /tmp= 61956 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b03-m800-07.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-4248053-1500734861/watcher-4248053-1500734861 -o /tmp/evaluation-result-4248053-1500734861/solver-4248053-1500734861 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500714400-18227 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 509575764 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248053-1500734861.xml

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

MD5SUM BENCH= 98d2d58aab7f5f40944baaa5254cf1ac
RANDOM SEED=509575764

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

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

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

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

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

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.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.57
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		: 1733.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	: 5334.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28653172 kB
MemAvailable:   28938268 kB
Buffers:          200304 kB
Cached:           347676 kB
SwapCached:          252 kB
Active:          3417888 kB
Inactive:         223924 kB
Active(anon):    3048984 kB
Inactive(anon):    56316 kB
Active(file):     368904 kB
Inactive(file):   167608 kB
Unevictable:        5892 kB
Mlocked:            5892 kB
SwapTotal:      67108860 kB
SwapFree:       67105472 kB
Dirty:             42380 kB
Writeback:             0 kB
AnonPages:       3104736 kB
Mapped:            45548 kB
Shmem:              8772 kB
Slab:             164552 kB
SReclaimable:     128836 kB
SUnreclaim:        35716 kB
KernelStack:        4864 kB
PageTables:        11996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4075932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2957312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61916 MiB
End job on node104 at 2017-07-22 16:47:44

Name	Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b03-m800-07.xml
MD5SUM	98d2d58aab7f5f40944baaa5254cf1ac
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.61332101
Satisfiable
(Un)Satisfiability was proved
Number of variables	480
Number of constraints	718
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":480}]
Minimum variable degree	2
Maximum variable degree	4
Distribution of variable degrees	[{"degree":2,"count":2},{"degree":3,"count":2},{"degree":4,"count":476}]
Minimum constraint arity	2
Maximum constraint arity	480
Distribution of constraint arities	[{"arity":2,"count":717},{"arity":480,"count":1}]
Number of extensional constraints	717
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":717},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective

Trace number 4248053

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data