0.00/0.10 c 280717
0.00/0.12 o 5523
0.00/0.12 o 4131
0.00/0.12 o 3735
0.00/0.12 o 3175
0.00/0.12 o 2847
0.00/0.12 o 2703
0.00/0.12 o 2421
0.00/0.12 o 2409
0.00/0.12 o 2405
0.00/0.12 o 2151
0.00/0.12 o 2081
0.00/0.12 o 1997
0.00/0.13 o 1439
0.00/0.13 o 1282
0.00/0.13 o 1122
0.00/0.13 o 1086
0.00/0.13 o 1014
0.00/0.13 o 1009
0.00/0.13 o 992
0.00/0.13 o 788
0.00/0.13 o 786
0.00/0.13 o 772
0.00/0.15 o 770
0.08/0.23 s OPTIMUM FOUND
0.08/0.23 v <instantiation type="optimum" cost="770">
0.08/0.23 v <list> x[0] x[1] x[2] x[3] drd[0][0] drd[0][1] drd[0][2] drd[0][3] drd[1][0] drd[1][1] drd[1][2] drd[1][3] drd[2][0] drd[2][1] drd[2][2] drd[2][3] drd[3][0] drd[3][1] drd[3][2] drd[3][3] drd[4][0] drd[4][1] drd[4][2] drd[4][3] drd[5][0] drd[5][1] drd[5][2] drd[5][3] drd[6][0] drd[6][1] drd[6][2] drd[6][3] drd[7][0] drd[7][1] drd[7][2] drd[7][3] drd[8][0] drd[8][1] drd[8][2] drd[8][3] drd[9][0] drd[9][1] drd[9][2] drd[9][3] drd[10][0] drd[10][1] drd[10][2] drd[10][3] drd[11][0] drd[11][1] drd[11][2] drd[11][3] drd[12][0] drd[12][1] drd[12][2] drd[12][3] drd[13][0] drd[13][1] drd[13][2] drd[13][3] drd[14][0] drd[14][1] drd[14][2] drd[14][3] drd[15][0] drd[15][1] drd[15][2] drd[15][3] drd[16][0] drd[16][1] drd[16][2] drd[16][3] drd[17][0] drd[17][1] drd[17][2] drd[17][3] drd[18][0] drd[18][1] drd[18][2] drd[18][3] drd[19][0] drd[19][1] drd[19][2] drd[19][3] drd[20][0] drd[20][1] drd[20][2] drd[20][3] drd[21][0] drd[21][1] drd[21][2] drd[21][3] drd[22][0] drd[22][1] drd[22][2] drd[22][3] drd[23][0] drd[23][1] drd[23][2] drd[23][3] drd[24][0] drd[24][1] drd[24][2] drd[24][3] drd[25][0] drd[25][1] drd[25][2] drd[25][3] drd[26][0] drd[26][1] drd[26][2] drd[26][3] drd[27][0] drd[27][1] drd[27][2] drd[27][3] drd[28][0] drd[28][1] drd[28][2] drd[28][3] drd[29][0] drd[29][1] drd[29][2] drd[29][3] dr[0] dr[1] dr[2] dr[3] dr[4] dr[5] dr[6] dr[7] dr[8] dr[9] dr[10] dr[11] dr[12] dr[13] dr[14] dr[15] dr[16] dr[17] dr[18] dr[19] dr[20] dr[21] dr[22] dr[23] dr[24] dr[25] dr[26] dr[27] dr[28] dr[29] </list>
0.08/0.23 v <values> 24 118 242 423 1 95 219 400 1 95 219 400 220 126 2 179 221 127 3 178 308 214 90 91 308 214 90 91 486 392 268 87 399 305 181 0 397 303 179 2 163 69 55 236 163 69 55 236 218 124 0 181 0 94 218 399 0 94 218 399 461 367 243 62 15 109 233 414 0 94 218 399 72 22 146 327 72 22 146 327 426 332 208 27 94 0 124 305 94 0 124 305 361 267 143 38 361 267 143 38 134 40 84 265 134 40 84 265 181 87 37 218 8 86 210 391 8 86 210 391 426 332 208 27 1 1 2 3 90 90 87 0 2 55 55 0 0 0 62 15 0 22 22 27 0 0 38 38 40 40 37 8 8 27 </values>
0.08/0.23 v </instantiation>
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-4260927-1502397218/watcher-4260927-1502397218 -o /tmp/evaluation-result-4260927-1502397218/solver-4260927-1502397218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1041834893 HOME/instance-4260927-1502397218.xml
pid=2418
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 2.04 2.05 3/184 2421
/proc/meminfo: memFree=31065420/32770624 swapFree=0/435328
[pid=2421] ppid=2418 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2421/stat : 2421 (runsolver) D 2418 2421 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 139374748 24240128 108 18446744073709551615 4194304 4338465 140731816488976 140731816486616 139630721438423 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 35328000 140731816493194 140731816493641 140731816493641 140731816497098 0
/proc/2421/statm: 5918 108 54 36 0 2156 0
[startup+0.100149 s]
/proc/loadavg: 2.12 2.04 2.05 3/184 2421
/proc/meminfo: memFree=31065420/32770624 swapFree=0/435328
[pid=2421] ppid=2418 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/2421/stat : 2421 (runsolver) D 2418 2421 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 139374748 24240128 108 18446744073709551615 4194304 4338465 140731816488976 140731816486616 139630721438423 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 35328000 140731816493194 140731816493641 140731816493641 140731816497098 0
/proc/2421/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200276 s]
/proc/loadavg: 2.12 2.04 2.05 3/184 2421
/proc/meminfo: memFree=31065420/32770624 swapFree=0/435328
[pid=2421] ppid=2418 vsize=47116 CPUtime=0.08 cores=0,2,4,6
/proc/2421/stat : 2421 (MistralXCSP) R 2418 2421 4525 0 -1 4202496 5701 0 0 0 8 0 0 0 20 0 1 0 139374748 48246784 5506 18446744073709551615 4194304 7396336 140733400406256 140733400403256 4249751 0 0 1 16386 0 0 0 17 0 0 0 10 0 0 9496464 9501696 35086336 140733400408498 140733400408648 140733400408648 140733400412105 0
/proc/2421/statm: 11779 5506 750 782 0 4795 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 47116
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 2421 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.232324
CPU time (s): 0.128846
CPU user time (s): 0.119787
CPU system time (s): 0.009059
CPU usage (%): 55.4596
Max. virtual memory (cumulated for all children) (KiB): 47116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.119787
system time used= 0.009059
maximum resident set size= 22080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5719
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.00477 second user time and 0.005962 second system time
The end
Begin job on node132 at 2017-08-10 22:19:15
IDJOB=4260927
IDBENCH=138368
IDSOLVER=2649
FILE ID=node132/4260927-1502397218
RUNJOBID= node132-1502333491-25567
PBS_JOBID=
Free space on /tmp= 62024 MiB
SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/Fastfood/Fastfood-m1-s1/Fastfood-ff84.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-4260927-1502397218/watcher-4260927-1502397218 -o /tmp/evaluation-result-4260927-1502397218/solver-4260927-1502397218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1041834893 HOME/instance-4260927-1502397218.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 57c9b04c42ddec3121be36f9ed91283a
RANDOM SEED=1041834893
node132.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.74
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.74
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.74
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.74
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: 31065472 kB
MemAvailable: 31850448 kB
Buffers: 284224 kB
Cached: 803908 kB
SwapCached: 0 kB
Active: 795848 kB
Inactive: 476148 kB
Active(anon): 184760 kB
Inactive(anon): 40820 kB
Active(file): 611088 kB
Inactive(file): 435328 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 6064 kB
Writeback: 0 kB
AnonPages: 198416 kB
Mapped: 59660 kB
Shmem: 41660 kB
Slab: 135840 kB
SReclaimable: 108788 kB
SUnreclaim: 27052 kB
KernelStack: 3536 kB
PageTables: 5636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 459692 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 354332 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 139264 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 62020 MiB
End job on node132 at 2017-08-10 22:19:15