0.00/0.00 c Mistral 01082018
1.99/2.05 o 98
2.10/2.12 o 92
2.19/2.24 s OPTIMUM FOUND
2.19/2.24 v <instantiation type="optimum" cost="92">
2.19/2.24 v <list> s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] </list>
2.19/2.24 v <values> 0 0 0 0 5 5 6 11 9 2 14 14 7 5 17 6 25 2 25 35 14 27 7 14 14 11 7 12 24 6 24 24 22 32 26 32 28 26 24 39 25 27 36 28 28 12 43 14 46 29 16 33 36 44 69 31 44 37 44 53 12 32 47 56 48 29 61 43 26 44 59 17 32 33 55 59 16 65 32 73 33 68 75 47 77 69 80 77 84 81 88 92 </values>
2.19/2.24 v </instantiation>
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11134 MiB free)
memory of node 1: 16384 MiB (13339 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312673-1534700031/watcher-4312673-1534700031 -o /tmp/evaluation-result-4312673-1534700031/solver-4312673-1534700031 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534699010-31356 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1422651679 HOME/instance-4312673-1534700031.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32163, runsolver pid=32160
[startup+0.100779 s]*
/proc/loadavg: 2.00 1.91 1.33 3/188 32164
/proc/meminfo: memFree=25046820/32770624 swapFree=67108500/67108860
[pid=32163] ppid=32160 vsize=39236 memory=13964 CPUtime=0.1 cores=0,2,4,6
/proc/32163/stat : 32163 (MistralXCSP) R 32160 32163 31325 0 -1 4202496 3747 0 0 0 10 0 0 0 20 0 1 0 287566305 40177664 3491 33554432000 4194304 7499544 140734518487168 140734518477768 4563992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24379392 140734518490226 140734518490376 140734518490376 140734518493129 0
/proc/32163/statm: 9809 3491 739 807 0 2800 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39236 KiB
Current children cumulated memory: 13964 KiB
[startup+0.209416 s]*
/proc/loadavg: 2.00 1.91 1.33 3/188 32164
/proc/meminfo: memFree=25021140/32770624 swapFree=67108500/67108860
[pid=32163] ppid=32160 vsize=49428 memory=24132 CPUtime=0.2 cores=0,2,4,6
/proc/32163/stat : 32163 (MistralXCSP) R 32160 32163 31325 0 -1 4202496 6551 0 0 0 20 0 0 0 20 0 1 0 287566305 50614272 6033 33554432000 4194304 7499544 140734518487168 140734518477768 140476295926736 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24379392 140734518490226 140734518490376 140734518490376 140734518493129 0
/proc/32163/statm: 12357 6033 739 807 0 5348 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 49428 KiB
Current children cumulated memory: 24132 KiB
[startup+0.309286 s]*
/proc/loadavg: 2.00 1.91 1.33 3/188 32164
/proc/meminfo: memFree=25015188/32770624 swapFree=67108500/67108860
[pid=32163] ppid=32160 vsize=54816 memory=29684 CPUtime=0.3 cores=0,2,4,6
/proc/32163/stat : 32163 (MistralXCSP) R 32160 32163 31325 0 -1 4202496 7967 0 0 0 30 0 0 0 20 0 1 0 287566305 56131584 7421 33554432000 4194304 7499544 140734518487168 140734518477768 4564151 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 24379392 140734518490226 140734518490376 140734518490376 140734518493129 0
/proc/32163/statm: 13704 7421 739 807 0 6695 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 54816 KiB
Current children cumulated memory: 29684 KiB
[startup+0.70078 s]
/proc/loadavg: 2.00 1.91 1.33 3/188 32164
/proc/meminfo: memFree=24993296/32770624 swapFree=67108500/67108860
[pid=32163] ppid=32160 vsize=74240 memory=48960 CPUtime=0.68 cores=0,2,4,6
/proc/32163/stat : 32163 (MistralXCSP) R 32160 32163 31325 0 -1 4202496 12015 0 0 0 67 1 0 0 20 0 1 0 287566305 76021760 12240 33554432000 4194304 7499544 140734518487168 140734518477768 4564151 0 0 4096 0 0 0 0 17 6 0 0 0 0 0 9598848 9604096 24379392 140734518490226 140734518490376 140734518490376 140734518493129 0
/proc/32163/statm: 18560 12240 739 807 0 11551 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74240 KiB
Current children cumulated memory: 48960 KiB
[startup+1.50039 s]
/proc/loadavg: 2.00 1.91 1.33 3/188 32164
/proc/meminfo: memFree=24974684/32770624 swapFree=67108500/67108860
[pid=32163] ppid=32160 vsize=100500 memory=75128 CPUtime=1.49 cores=0,2,4,6
/proc/32163/stat : 32163 (MistralXCSP) R 32160 32163 31325 0 -1 4202496 18700 0 0 0 147 2 0 0 20 0 1 0 287566305 102912000 18782 33554432000 4194304 7499544 140734518487168 140734518477752 4564160 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 24379392 140734518490226 140734518490376 140734518490376 140734518493129 0
/proc/32163/statm: 25125 18782 739 807 0 18116 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 100500 KiB
Current children cumulated memory: 75128 KiB
[startup+2.24506 s]
# the end of solver process 32163 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.20103 s, system=0.038982 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60039 s]
/proc/loadavg: 2.00 1.91 1.33 3/188 32164
/proc/meminfo: memFree=24974684/32770624 swapFree=67108500/67108860
[pid=32163] ppid=32160 vsize=104508 memory=79088 CPUtime=1.59 cores=0,2,4,6
/proc/32163/stat : 32163 (MistralXCSP) R 32160 32163 31325 0 -1 4202496 19703 0 0 0 157 2 0 0 20 0 1 0 287566305 107016192 19772 33554432000 4194304 7499544 140734518487168 140734518477752 140476295928805 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 24379392 140734518490226 140734518490376 140734518490376 140734518493129 0
/proc/32163/statm: 26127 19772 739 807 0 19118 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 104508 KiB
Current children cumulated memory: 79088 KiB
[startup+2.00036 s]*
/proc/loadavg: 1.92 1.90 1.33 3/188 32164
/proc/meminfo: memFree=24919660/32770624 swapFree=67108500/67108860
[pid=32163] ppid=32160 vsize=118852 memory=93744 CPUtime=1.99 cores=0,2,4,6
/proc/32163/stat : 32163 (MistralXCSP) R 32160 32163 31325 0 -1 4202496 28619 0 0 0 197 2 0 0 20 0 1 0 287566305 121704448 23436 33554432000 4194304 7499544 140734518487168 140734518477752 5585214 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 24379392 140734518490226 140734518490376 140734518490376 140734518493129 0
/proc/32163/statm: 29713 23436 771 807 0 22704 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 118852 KiB
Current children cumulated memory: 93744 KiB
[startup+2.2004 s]
/proc/loadavg: 1.92 1.90 1.33 3/188 32164
/proc/meminfo: memFree=24919660/32770624 swapFree=67108500/67108860
[pid=32163] ppid=32160 vsize=120112 memory=95036 CPUtime=2.19 cores=0,2,4,6
/proc/32163/stat : 32163 (MistralXCSP) R 32160 32163 31325 0 -1 4202496 39710 0 0 0 216 3 0 0 20 0 1 0 287566305 122994688 23759 33554432000 4194304 7499544 140734518487168 140734518477752 140476295919634 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 24379392 140734518490226 140734518490376 140734518490376 140734518493129 0
/proc/32163/statm: 30028 23759 779 807 0 23019 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 95036 KiB
Child status: 0
Real time (s): 2.24511
CPU time (s): 2.24001
CPU user time (s): 2.20103
CPU system time (s): 0.038982
CPU usage (%): 99.7728
Max. virtual memory (cumulated for all children) (KiB): 120112
Max. memory (cumulated for all children) (KiB): 95036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.20103
system time used= 0.038982
maximum resident set size= 95052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40584
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 32163
# total CPU time (s): 2.24001
# total CPU user time (s): 2.20103
# total CPU system time (s): 0.038982
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036808 second user time and 0.052583 second system time
The end
Begin job on node104 at 2018-08-19 19:33:51
IDJOB=4312673
IDBENCH=141474
IDSOLVER=2801
FILE ID=node104/4312673-1534700031
RUNJOBID= node104-1534699010-31356
PBS_JOBID= 21038725
Free space on /tmp= 56336 MiB
SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Rcpsp/Rcpsp-j90-01-02_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312673-1534700031/watcher-4312673-1534700031 -o /tmp/evaluation-result-4312673-1534700031/solver-4312673-1534700031 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534699010-31356 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1422651679 HOME/instance-4312673-1534700031.xml
TIME LIMIT= 252 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 7549aa093fe24285400bc63faca9f795
RANDOM SEED=1422651679
node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/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 : 4
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.11
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.11
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 : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.11
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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 : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
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.11
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 : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
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:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 25062712 kB
MemAvailable: 31874704 kB
Buffers: 225864 kB
Cached: 6868428 kB
SwapCached: 4 kB
Active: 3754892 kB
Inactive: 3417220 kB
Active(anon): 53924 kB
Inactive(anon): 92884 kB
Active(file): 3700968 kB
Inactive(file): 3324336 kB
Unevictable: 7320 kB
Mlocked: 7320 kB
SwapTotal: 67108860 kB
SwapFree: 67108500 kB
Dirty: 11884 kB
Writeback: 0 kB
AnonPages: 111868 kB
Mapped: 22408 kB
Shmem: 66020 kB
Slab: 233804 kB
SReclaimable: 205044 kB
SUnreclaim: 28760 kB
KernelStack: 3552 kB
PageTables: 5112 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 418708 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 32768 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 56332 MiB
End job on node104 at 2018-08-19 19:33:54